BibTeX record conf/date/MangassarianVSNA07

• > Home > conf/date/MangassarianVSNA07

@inproceedings{DBLP:conf/date/MangassarianVSNA07,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Sean Safarpour and
                  Farid N. Najm and
                  Magdy S. Abadir},
  editor       = {Rudy Lauwereins and
                  Jan Madsen},
  title        = {Maximum circuit activity estimation using pseudo-boolean satisfiability},
  booktitle    = {2007 Design, Automation and Test in Europe Conference and Exposition,
                  {DATE} 2007, Nice, France, April 16-20, 2007},
  pages        = {1538--1543},
  publisher    = {{EDA} Consortium, San Jose, CA, {USA}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1266703},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MangassarianVSNA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}