%0 Journal Article %1 journals/eccc/Scharpfenecker15 %A Scharpfenecker, Patrick %D 2015 %J Electron. Colloquium Comput. Complex. %K dblp %T On the structure of Solution-Graphs for Boolean Formulas. %U http://dblp.uni-trier.de/db/journals/eccc/eccc22.html#Scharpfenecker15 %V TR15

@article{journals/eccc/Scharpfenecker15, added-at = {2022-09-27T00:00:00.000+0200}, author = {Scharpfenecker, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2b03f0ad5eb0ad6f7c4971d7d9dac1ba5/dblp}, ee = {https://eccc.weizmann.ac.il/report/2015/101}, interhash = {def5b6d0305d31ac0954e7e73998648e}, intrahash = {b03f0ad5eb0ad6f7c4971d7d9dac1ba5}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:07:59.000+0200}, title = {On the structure of Solution-Graphs for Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc22.html#Scharpfenecker15}, volume = {TR15}, year = 2015 }