![](/img/cover-not-exists.png)
[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Dynamic detection and removal of inactive clauses in SAT with application in image computation
Gupta, Aarti, Gupta, Anubhav, Yang, Zijiang, Ashar, PranavYear:
2001
Language:
english
DOI:
10.1145/378239.379018
File:
PDF, 187 KB
english, 2001