Extended Resolution Proofs for Conjoining BDDs. Sinz, C. & Biere, A. In Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pages 600-611, 2006. Link bibtex @inproceedings{ DBLP:conf/csr/SinzB06,
author = {Carsten Sinz and Armin Biere},
title = {Extended Resolution Proofs for Conjoining BDDs},
booktitle = {Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings},
pages = {600-611},
ee = {http://dx.doi.org/10.1007/11753728_60} ,
year = {2006}
}
Downloads: 0
{"_id":{"_str":"53427aa20e946d920a0018f9"},"__v":9,"authorIDs":["54593b80b43425b7720003cb","546e8305ec3c47a518000efc"],"author_short":["Sinz, C.","Biere, A."],"bibbaseid":"sinz-biere-extendedresolutionproofsforconjoiningbdds-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Carsten"],"propositions":[],"lastnames":["Sinz"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"Extended Resolution Proofs for Conjoining BDDs","booktitle":"Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings","pages":"600-611","ee":"http://dx.doi.org/10.1007/11753728_60","year":"2006","bibtex":"@inproceedings{ DBLP:conf/csr/SinzB06,\n author = {Carsten Sinz and Armin Biere},\n title = {Extended Resolution Proofs for Conjoining BDDs},\n booktitle = {Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings},\n pages = {600-611},\n ee = {http://dx.doi.org/10.1007/11753728_60} ,\n year = {2006}\n}\n\n\n","author_short":["Sinz, C.","Biere, A."],"key":"DBLP:conf/csr/SinzB06","id":"DBLP:conf/csr/SinzB06","bibbaseid":"sinz-biere-extendedresolutionproofsforconjoiningbdds-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11753728_60"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/carsten-sinz/?format=bibtex","downloads":0,"keywords":[],"search_terms":["extended","resolution","proofs","conjoining","bdds","sinz","biere"],"title":"Extended Resolution Proofs for Conjoining BDDs","year":2006,"dataSources":["n8DJRJMXPEkaFLs2E"]}