Towards efficient satisfiability checking for boolean algebra with presburger arithmetic (2007)

by V Kuncak, M C Rinard
Venue:In Proceedings of the International Conference on automated deduction (CADE