A Fast Algorithm for Unbounded Monotone Integer Linear Systems with Two Variables per Inequality via Graph Decomposition.

Takuya Tamori, Kei Kimura

Browse the full WALCOM paper archive.