BibTeX record: conf/iccad/ZhangMMM01

download as .bib file

@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},
  url       = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm#06a_1},
  timestamp = {Fri, 24 Oct 2014 10:59:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccad/ZhangMMM01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}