DMCA

Combining Strengths of Circuit-based and CNF-based Algorithms for a High-Performance SAT Solver (2002)

by Malay K Ganai , Lintao Zhang , Pranav Ashar , Aarti Gupta , Sharad Malik
Citations:71 - 11 self