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

by Viktor Kuncak
Venue:In CADE-21
Citations:29 - 17 self