DMCA

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

by Viktor Kuncak
Venue:In CADE-21
Citations:32 - 18 self