BibTeX record: conf/soda/Coudert95

download as .bib file

@inproceedings{DBLP:conf/soda/Coudert95,
  author    = {Olivier Coudert},
  title     = {Doing Two-Level Logic Minimization 100 Times Faster},
  booktitle = {Proceedings of the Sixth Annual {ACM-SIAM} Symposium on Discrete Algorithms,
               22-24 January 1995. San Francisco, California.},
  year      = {1995},
  pages     = {112--121},
  crossref  = {DBLP:conf/soda/1995},
  url       = {http://dl.acm.org/citation.cfm?id=313651.313674},
  timestamp = {Sun, 26 Oct 2014 10:33:51 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/soda/Coudert95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1995,
  editor    = {Kenneth L. Clarkson},
  title     = {Proceedings of the Sixth Annual {ACM-SIAM} Symposium on Discrete Algorithms,
               22-24 January 1995. San Francisco, California},
  year      = {1995},
  publisher = {{ACM/SIAM}},
  url       = {http://dl.acm.org/citation.cfm?id=313651},
  isbn      = {0-89871-349-8},
  timestamp = {Sun, 26 Oct 2014 10:33:51 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/soda/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}