SATIRE: A New Incremental Satisfiability Engine

Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah. SATIRE: A New Incremental Satisfiability Engine. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 542-545, ACM, 2001. [doi]

Authors

Jesse Whittemore

This author has not been identified. Look up 'Jesse Whittemore' in Google

Joonyoung Kim

This author has not been identified. Look up 'Joonyoung Kim' in Google

Karem A. Sakallah

This author has not been identified. Look up 'Karem A. Sakallah' in Google