An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic (2005)

by V Kuncak, H H Nguyen, M C Rinard
Venue:In CADE’05