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

by Viktor Kuncak , Huu Hai Nguyen , Martin Rinard
Venue:In 20th International Conference on Automated Deduction, CADE-20
Citations:26 - 13 self