%0 Conference Paper %1 Kautz1992 %A Kautz, Henry A. %A Selman, Bart %B AAAI Conference on Artificial Intelligence %D 1992 %K none %P 359--363 %T Planning as satisfiability

@inproceedings{Kautz1992, added-at = {2020-05-24T20:36:48.000+0200}, author = {Kautz, Henry A. and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/2497376219135047f108fb9d18c61e318/marcondg}, booktitle = {{AAAI} Conference on Artificial Intelligence}, interhash = {145cd4357c9959007af6407e40ae7a55}, intrahash = {497376219135047f108fb9d18c61e318}, keywords = {none}, pages = {359--363}, timestamp = {2020-05-24T20:36:48.000+0200}, title = {{Planning as satisfiability}}, year = 1992 }