%0 Journal Article %1 journals/ai/SelmanK96 %A Selman, Bart %A Kirkpatrick, Scott %D 1996 %J Artif. Intell. %K dblp %N 1-2 %P 273-295 %T Critical Behavior in the Computational Cost of Satisfiability Testing. %U http://dblp.uni-trier.de/db/journals/ai/ai81.html#SelmanK96 %V 81

@article{journals/ai/SelmanK96, added-at = {2003-11-19T00:00:00.000+0100}, author = {Selman, Bart and Kirkpatrick, Scott}, biburl = {https://www.bibsonomy.org/bibtex/296362f516c6e2bb3a76bfa5bfeb15441/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(95)00056-9}, interhash = {51a6dc10608a72788764ea5a4bdd5040}, intrahash = {96362f516c6e2bb3a76bfa5bfeb15441}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {273-295}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Critical Behavior in the Computational Cost of Satisfiability Testing.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai81.html#SelmanK96}, volume = 81, year = 1996 }