Aarti Gupta Anubhav Gupta Zijiang Yang Pranav Ashar Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. 536-541 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/33_2.pdf db/conf/dac/dac2001.html#GuptaGYA01