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

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