DBLP BibTeX Record 'conf/soda/Coudert95'

@inproceedings{DBLP:conf/soda/Coudert95,
  author    = {Olivier Coudert},
  title     = {Doing Two-Level Logic Minimization 100 Times Faster},
  booktitle = {SODA},
  year      = {1995},
  pages     = {112-121},
  ee        = {http://dl.acm.org/citation.cfm?id=313651.313674},
  crossref  = {DBLP:conf/soda/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {SODA},
  publisher = {ACM/SIAM},
  year      = {1995},
  isbn      = {0-89871-349-8},
  ee        = {http://dl.acm.org/citation.cfm?id=313651},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}