%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
}