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 = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
  pages     = {279--285},
  year      = {2001},
  crossref  = {DBLP:conf/iccad/2001},
  url       = {http://dx.doi.org/10.1109/ICCAD.2001.968634},
  doi       = {10.1109/ICCAD.2001.968634},
  timestamp = {Thu, 30 Apr 2015 18:34:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccad/ZhangMMM01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iccad/2001,
  editor    = {Rolf Ernst},
  title     = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7652},
  isbn      = {0-7803-7249-2},
  timestamp = {Thu, 30 Apr 2015 18:34:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccad/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}