SATIRE: a new incremental satisfiability engine (2001)

by J Whittemore, J Kim, K Sakallah
Venue:in: IEEE/ACM Design Automation Conference (DAC