Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar. Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 536-541, ACM, 2001. [doi]
Abstract is missing.