%0 Conference Paper %1 conf/fct/Scharpfenecker15 %A Scharpfenecker, Patrick %B FCT %D 2015 %E Kosowski, Adrian %E Walukiewicz, Igor %I Springer %K dblp %P 118-130 %T On the Structure of Solution-Graphs for Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/fct/fct2015.html#Scharpfenecker15 %V 9210 %@ 978-3-319-22176-2

@inproceedings{conf/fct/Scharpfenecker15, added-at = {2017-05-17T00:00:00.000+0200}, author = {Scharpfenecker, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/247816c713f7f6778dd19587b15a7ff1a/dblp}, booktitle = {FCT}, crossref = {conf/fct/2015}, editor = {Kosowski, Adrian and Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-319-22177-9_10}, interhash = {def5b6d0305d31ac0954e7e73998648e}, intrahash = {47816c713f7f6778dd19587b15a7ff1a}, isbn = {978-3-319-22176-2}, keywords = {dblp}, pages = {118-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:35.000+0200}, title = {On the Structure of Solution-Graphs for Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct2015.html#Scharpfenecker15}, volume = 9210, year = 2015 }