%0 Conference Paper %1 reason:SelLevMit92a %A Selman, B. %A Levesque, H. J. %A Mitchell, D. G. %B Proc.\ 10th National Conference on Artificial Intelligence %C San Jose, CA %D 1992 %K imported ml %P 440--446 %T GSAT: A New Method for Solving Hard Satisifability Problems

@inproceedings{reason:SelLevMit92a, added-at = {2016-11-26T13:19:29.000+0100}, address = {San Jose, CA}, author = {Selman, B. and Levesque, H. J. and Mitchell, D. G.}, biburl = {https://www.bibsonomy.org/bibtex/21759e5ae7bba727308d01f47db912552/machinelearning}, booktitle = {Proc.\ 10th National Conference on Artificial Intelligence}, interhash = {4192ab4ff4a1c37f346507004e584f72}, intrahash = {1759e5ae7bba727308d01f47db912552}, keywords = {imported ml}, pages = {440--446}, serial = {SelLevMit92a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {{GSAT}: A New Method for Solving Hard Satisifability Problems}, year = 1992 }