%0 Conference Paper %1 conf/ki/GentW94 %A Gent, Ian P. %A Walsh, Toby %B KI %D 1994 %E Nebel, Bernhard %E Dreschler-Fischer, Leonie S. %I Springer %K dblp %P 355-366 %T The Hardest Random SAT Problems. %U http://dblp.uni-trier.de/db/conf/ki/ki94.html#GentW94 %V 861 %@ 3-540-58467-6

@inproceedings{conf/ki/GentW94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Gent, Ian P. and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/247069ecb9ec8e6132ac9c020bbe61436/dblp}, booktitle = {KI}, crossref = {conf/ki/1994}, editor = {Nebel, Bernhard and Dreschler-Fischer, Leonie S.}, ee = {https://doi.org/10.1007/3-540-58467-6_31}, interhash = {9bff5041f1f584a76c6939a9b337946e}, intrahash = {47069ecb9ec8e6132ac9c020bbe61436}, isbn = {3-540-58467-6}, keywords = {dblp}, pages = {355-366}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:45:49.000+0200}, title = {The Hardest Random SAT Problems.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki94.html#GentW94}, volume = 861, year = 1994 }