%0 Conference Paper %1 conf/sat/BubeckB13 %A Bubeck, Uwe %A Büning, Hans Kleine %B SAT %D 2013 %E Järvisalo, Matti %E Gelder, Allen Van %I Springer %K dblp %P 267-275 %T Nested Boolean Functions as Models for Quantified Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/sat/sat2013.html#BubeckB13 %V 7962 %@ 978-3-642-39070-8

@inproceedings{conf/sat/BubeckB13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bubeck, Uwe and Büning, Hans Kleine}, biburl = {https://www.bibsonomy.org/bibtex/25bd39ce89c9fd5be334e17939c948867/dblp}, booktitle = {SAT}, crossref = {conf/sat/2013}, editor = {Järvisalo, Matti and Gelder, Allen Van}, ee = {https://doi.org/10.1007/978-3-642-39071-5_20}, interhash = {925de075eb1d49d145761f0facf71b9a}, intrahash = {5bd39ce89c9fd5be334e17939c948867}, isbn = {978-3-642-39070-8}, keywords = {dblp}, pages = {267-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:22.000+0200}, title = {Nested Boolean Functions as Models for Quantified Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2013.html#BubeckB13}, volume = 7962, year = 2013 }