Henry A. Kautz, Bart Selman. Planning as Satisfiability. In ECAI. pages 359-363, 1992.
@inproceedings{KautzS92,
title = {Planning as Satisfiability},
author = {Henry A. Kautz and Bart Selman},
year = {1992},
researchr = {https://researchr.org/publication/KautzS92},
cites = {0},
citedby = {0},
pages = {359-363},
booktitle = {ECAI},
}