Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik. Efficient Conflict Driven Learning in Boolean Satisfiability Solver. In ICCAD. pages 279-285, 2001. [doi]
@inproceedings{ZhangMMM01,
title = {Efficient Conflict Driven Learning in Boolean Satisfiability Solver},
author = {Lintao Zhang and Conor F. Madigan and Matthew W. Moskewicz and Sharad Malik},
year = {2001},
url = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm#06a_1},
researchr = {https://researchr.org/publication/ZhangMMM01},
cites = {0},
citedby = {0},
pages = {279-285},
booktitle = {ICCAD},
}