%0 Journal Article %1 journals/eccc/Melkebeek07 %A van Melkebeek, Dieter %D 2007 %J Electron. Colloquium Comput. Complex. %K dblp %T A Survey of Lower Bounds for Satisfiability and Related Problems. %U http://dblp.uni-trier.de/db/journals/eccc/eccc14.html#Melkebeek07 %V TR07

@article{journals/eccc/Melkebeek07, added-at = {2022-09-28T00:00:00.000+0200}, author = {van Melkebeek, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/213fd80dfd053afff8ad797c4f3e40737/dblp}, ee = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-099/index.html}, interhash = {ef8a8fea2368b152ed6017dde3bd1f4d}, intrahash = {13fd80dfd053afff8ad797c4f3e40737}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:09:34.000+0200}, title = {A Survey of Lower Bounds for Satisfiability and Related Problems.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc14.html#Melkebeek07}, volume = {TR07}, year = 2007 }