Planning as satisfiability. Kautz, H. A. & Selman, B. In AAAI Conference on Artificial Intelligence, pages 359–363, 1992.
bibtex   
@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
}

Downloads: 0