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

{"_id":"dkqx5qupmH8B3Rv6C","bibbaseid":"kautz-selman-planningassatisfiability-1992","downloads":0,"creationDate":"2017-11-11T21:10:59.727Z","title":"Planning as satisfiability","author_short":["Kautz, H. A.","Selman, B."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/user/marcondg?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-05-24T20:36:48.000+0200","author":[{"propositions":[],"lastnames":["Kautz"],"firstnames":["Henry","A."],"suffixes":[]},{"propositions":[],"lastnames":["Selman"],"firstnames":["Bart"],"suffixes":[]}],"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","bibtex":"@inproceedings{Kautz1992,\n added-at = {2020-05-24T20:36:48.000+0200},\n author = {Kautz, Henry A. and Selman, Bart},\n biburl = {https://www.bibsonomy.org/bibtex/2497376219135047f108fb9d18c61e318/marcondg},\n booktitle = {{AAAI} Conference on Artificial Intelligence},\n interhash = {145cd4357c9959007af6407e40ae7a55},\n intrahash = {497376219135047f108fb9d18c61e318},\n keywords = {none},\n pages = {359--363},\n timestamp = {2020-05-24T20:36:48.000+0200},\n title = {{Planning as satisfiability}},\n year = 1992\n}\n\n","author_short":["Kautz, H. A.","Selman, B."],"key":"Kautz1992","id":"Kautz1992","bibbaseid":"kautz-selman-planningassatisfiability-1992","role":"author","urls":{},"keyword":["none"],"metadata":{"authorlinks":{}}},"search_terms":["planning","satisfiability","kautz","selman"],"keywords":["none"],"authorIDs":[],"dataSources":["3mK2T85hzrpLutE5R","KmdEXRiKqSHvuDHgs"]}