DBLP Record 'conf/dac/SafarpourVBY06'

BibTeX

@inproceedings{DBLP:conf/dac/SafarpourVBY06,
  author    = {Sean Safarpour and
               Andreas G. Veneris and
               Gregg Baeckler and
               Richard Yuan},
  title     = {Efficient SAT-based Boolean matching for FPGA technology
               mapping},
  booktitle = {DAC},
  year      = {2006},
  pages     = {466-471},
  ee        = {http://doi.acm.org/10.1145/1146909.1147034},
  crossref  = {DBLP:conf/dac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/2006,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 43rd Design Automation Conference, DAC
               2006, San Francisco, CA, USA, July 24-28, 2006},
  booktitle = {DAC},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-381-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}