Solving linear arithmetic with SAT-based model checking.

Yakir Vizel, Alexander Nadel, Sharad Malik

Browse the full FMCAD paper archive.