Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
DAC, 2002.
@inproceedings{DAC-2002-GanaiAGZM,
author = "Malay K. Ganai and Pranav Ashar and Aarti Gupta and Lintao Zhang and Sharad Malik",
booktitle = "{Proceedings of the 39th Design Automation Conference}",
doi = "10.1145/513918.514105",
isbn = "1-58113-461-4",
pages = "747--750",
publisher = "{ACM}",
title = "{Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver}",
year = 2002,
}