%0 Conference Paper %1 conf/fmcad/SafarpourMVLS07 %A Safarpour, Sean %A Mangassarian, Hratch %A Veneris, Andreas G. %A Liffiton, Mark H. %A Sakallah, Karem A. %B FMCAD %D 2007 %I IEEE Computer Society %K dblp %P 13-19 %T Improved Design Debugging Using Maximum Satisfiability. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#SafarpourMVLS07 %@ 0-7695-3023-0

@inproceedings{conf/fmcad/SafarpourMVLS07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Safarpour, Sean and Mangassarian, Hratch and Veneris, Andreas G. and Liffiton, Mark H. and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/23e6d5873a2e5607281b5c23ad8e1fed5/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/FAMCAD.2007.26}, interhash = {5131d804ccb454725d94293e965535e1}, intrahash = {3e6d5873a2e5607281b5c23ad8e1fed5}, isbn = {0-7695-3023-0}, keywords = {dblp}, pages = {13-19}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:54:24.000+0200}, title = {Improved Design Debugging Using Maximum Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#SafarpourMVLS07}, year = 2007 }