SATIRE: a new incremental satisfiability engine (2001)

by Jesse Whittemore, Joonyoung Kim, Karem Sakallah
Venue:In IEEE/ACM Design Automation Conference (DAC