%0 Conference Paper %1 conf/wea/DimitriouS04 %A Dimitriou, Tassos %A Spirakis, Paul G. %B WEA %D 2004 %E Ribeiro, Celso C. %E Martins, Simone L. %I Springer %K dblp %P 199-212 %T How to Tell a Good Neighborhood from a Bad One: Satisfiability of Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/wea/wea2004.html#DimitriouS04 %V 3059 %@ 3-540-22067-4

@inproceedings{conf/wea/DimitriouS04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Dimitriou, Tassos and Spirakis, Paul G.}, biburl = {https://www.bibsonomy.org/bibtex/21aa87e969fea76a6901b90c099624119/dblp}, booktitle = {WEA}, crossref = {conf/wea/2004}, editor = {Ribeiro, Celso C. and Martins, Simone L.}, ee = {https://doi.org/10.1007/978-3-540-24838-5_15}, interhash = {91d1b7ef93083773b9fb3059e6238403}, intrahash = {1aa87e969fea76a6901b90c099624119}, isbn = {3-540-22067-4}, keywords = {dblp}, pages = {199-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:18:13.000+0200}, title = {How to Tell a Good Neighborhood from a Bad One: Satisfiability of Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/wea/wea2004.html#DimitriouS04}, volume = 3059, year = 2004 }