Planning as Satisfiability

@inproceedings{satplan-ecai1992,
   address = {Vienna, Austria},
   apice = {SatplanEcai1992},
   author = {Henry A. Kautz and Bart Selman},
   booktitle = {10th European Conference on Artificial Intelligence (ECAI'92)},
   editor = {Bernd Neumann},
   isbn = {978-0-471-93608-4},
   month = jul,
   numpages = 5,
   pages = {359--363},
   publisher = {John Wiley \& Sons, Inc.},
   title = {Planning as Satisfiability},
   url = {https://www.cs.cornell.edu/selman/papers/pdf/92.ecai.satplan.pdf},
   year = 1992
}