Linear Arithmetic Satisfiability via Strategy Improvement.

Azadeh Farzan, Zachary Kincaid

Browse the full IJCAI paper archive.