DMCA

On subsumption removal and on-the-fly cnf simplification

Cached

Download Links

by Lintao Zhang
Venue:in: Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT’05), 2005
Citations:12 - 0 self