Login / Signup
Linear Arithmetic Satisfiability via Strategy Improvement.
Azadeh Farzan
Zachary Kincaid
Published in:
IJCAI (2016)
Keyphrases
</>
propositional logic
satisfiability problem
linear model
computational complexity
piecewise linear
orders of magnitude
transfer function
decision procedures