An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.

Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard

Browse the full CADE paper archive.