%0 Conference Paper %1 reason:KauSel96a %A Kautz, H. %A Selman, B. %B Proc.\ 13th National Conference on Artificial Intelligence %C Portland, OR %D 1996 %K imported ml %P 1194--1201 %T Pushing the Envelope: Planning, Propositional Logic and Stochastic Search

@inproceedings{reason:KauSel96a, added-at = {2016-11-26T13:19:29.000+0100}, address = {Portland, OR}, author = {Kautz, H. and Selman, B.}, biburl = {https://www.bibsonomy.org/bibtex/28d3e21655e42412f73477228326c2d3a/machinelearning}, booktitle = {Proc.\ 13th National Conference on Artificial Intelligence}, interhash = {93cc18e68d7cf1ee646cfcdd87391a85}, intrahash = {8d3e21655e42412f73477228326c2d3a}, keywords = {imported ml}, pages = {1194--1201}, serial = {KauSel96a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Pushing the Envelope: Planning, Propositional Logic and Stochastic Search}, year = 1996 }