Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.

Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik

Browse the full DAC paper archive.