%0 Conference Paper %1 kautz92ecai %A Kautz, H. %A Selman, B. %B Proc. of the 10th Europen Conference on Artificial Intelligence (ECAI-92) %D 1992 %K ml %P 359--363 %T Planning as Satisfiability

@inproceedings{kautz92ecai, added-at = {2016-11-26T13:12:23.000+0100}, author = {Kautz, H. and Selman, B.}, biburl = {https://www.bibsonomy.org/bibtex/24bdf24c15951fe9641a9e5bb8754f98f/machinelearning}, booktitle = { Proc. of the 10th Europen Conference on Artificial Intelligence (ECAI-92)}, interhash = {145cd4357c9959007af6407e40ae7a55}, intrahash = {4bdf24c15951fe9641a9e5bb8754f98f}, keywords = {ml}, pages = {359--363}, timestamp = {2016-11-26T13:17:02.000+0100}, title = {Planning as Satisfiability}, year = 1992 }