%0 Journal Article %1 journals/jar/GomesSCK00 %A Gomes, Carla P. %A Selman, Bart %A Crato, Nuno %A Kautz, Henry A. %D 2000 %J J. Autom. Reason. %K dblp %N 1/2 %P 67-100 %T Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. %U http://dblp.uni-trier.de/db/journals/jar/jar24.html#GomesSCK00 %V 24

@article{journals/jar/GomesSCK00, added-at = {2020-09-02T00:00:00.000+0200}, author = {Gomes, Carla P. and Selman, Bart and Crato, Nuno and Kautz, Henry A.}, biburl = {https://www.bibsonomy.org/bibtex/283741da981a02647e80493688df29ce3/dblp}, ee = {https://www.wikidata.org/entity/Q57710972}, interhash = {34a7bb3d5599ae31dd67dd459befc5e3}, intrahash = {83741da981a02647e80493688df29ce3}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1/2}, pages = {67-100}, timestamp = {2020-09-09T13:34:44.000+0200}, title = {Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar24.html#GomesSCK00}, volume = 24, year = 2000 }