%0 Conference Paper %1 conf/aspdac/SmithVV04 %A Smith, Alexander %A Veneris, Andreas G. %A Viglas, Anastasios %B ASP-DAC %D 2004 %E Imai, Masaharu %I IEEE Computer Society %K dblp %P 218-223 %T Design diagnosis using Boolean satisfiability. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2004.html#SmithVV04 %@ 0-7803-8175-0

@inproceedings{conf/aspdac/SmithVV04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Smith, Alexander and Veneris, Andreas G. and Viglas, Anastasios}, biburl = {https://www.bibsonomy.org/bibtex/24317d0170a88e4937eacba7638f4d269/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2004}, editor = {Imai, Masaharu}, ee = {https://dl.acm.org/citation.cfm?id=1015142}, interhash = {c88a416ac4c034faa25548c58c218fe0}, intrahash = {4317d0170a88e4937eacba7638f4d269}, isbn = {0-7803-8175-0}, keywords = {dblp}, pages = {218-223}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:15:59.000+0200}, title = {Design diagnosis using Boolean satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2004.html#SmithVV04}, year = 2004 }