Login / Signup

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

Takuya TamoriKei Kimura
Published in: WALCOM (2019)
Keyphrases
  • linear systems
  • sufficient conditions
  • directed acyclic graph
  • dynamical systems
  • linear equations
  • sparse linear systems
  • coefficient matrix
  • weighted graph
  • numerical solution
  • random variables