Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.

Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar

Browse the full DAC paper archive.