%0 Conference Paper %1 conf/iccad/RienerF16 %A Riener, Heinz %A Fey, Görschwin %B ICCAD %D 2016 %E Liu, Frank %I ACM %K %P 53 %T Exact diagnosis using boolean satisfiability. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2016.html#RienerF16 %@ 978-1-4503-4466-1

@inproceedings{conf/iccad/RienerF16, added-at = {2023-12-13T03:46:30.000+0100}, author = {Riener, Heinz and Fey, Görschwin}, biburl = {https://www.bibsonomy.org/bibtex/2194c32fb6bf56d0ff0580d4641a01e4c/admin}, booktitle = {ICCAD}, crossref = {conf/iccad/2016}, editor = {Liu, Frank}, ee = {https://doi.org/10.1145/2966986.2967036}, interhash = {8ec60dfe8807933d18e07bb6005facbe}, intrahash = {194c32fb6bf56d0ff0580d4641a01e4c}, isbn = {978-1-4503-4466-1}, keywords = {}, pages = 53, publisher = {ACM}, timestamp = {2023-12-13T03:46:30.000+0100}, title = {Exact diagnosis using boolean satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2016.html#RienerF16}, year = 2016 }