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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.