DBLP BibTeX Record 'conf/iccad/ZhangMMM01'

@inproceedings{DBLP:conf/iccad/ZhangMMM01,
  author    = {Lintao Zhang and
               Conor F. Madigan and
               Matthew W. Moskewicz and
               Sharad Malik},
  title     = {Efficient Conflict Driven Learning in Boolean Satisfiability
               Solver},
  booktitle = {ICCAD},
  year      = {2001},
  pages     = {279-285},
  ee        = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm\#06a_1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}