Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.

Viktor Kuncak, Martin C. Rinard

Browse the full CADE paper archive.