%0 Conference Paper %1 conf/sat/BalabanovJSMB16 %A Balabanov, Valeriy %A Jiang, Jie-Hong Roland %A Scholl, Christoph %A Mishchenko, Alan %A Brayton, Robert K. %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 453-469 %T 2QBF: Challenges and Solutions. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#BalabanovJSMB16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/BalabanovJSMB16, added-at = {2022-08-03T00:00:00.000+0200}, author = {Balabanov, Valeriy and Jiang, Jie-Hong Roland and Scholl, Christoph and Mishchenko, Alan and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/22faea928c4f8f8dbb32040382889c7da/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_28}, interhash = {5f56334d5a3a13c2221e2e0a93553c0f}, intrahash = {2faea928c4f8f8dbb32040382889c7da}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {453-469}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:45.000+0200}, title = {2QBF: Challenges and Solutions.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#BalabanovJSMB16}, volume = 9710, year = 2016 }