@inproceedings{Kautz+Selman:1992,
	year = 1992,
	author = "Henry Kautz and Bart Selman",
	title = "Planning as Satisfiability",
	booktitle = ecai92,
	_address = "Vienna",
	_publisher = wiley,
 _pages = "359--363"
}

{"_id":"dkqx5qupmH8B3Rv6C","bibbaseid":"kautz-selman-planningassatisfiability-1992","downloads":0,"creationDate":"2017-11-11T21:10:59.727Z","title":"Planning as Satisfiability","author_short":["Kautz, H.","Selman, B."],"year":1992,"bibtype":"inproceedings","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","year":"1992","author":[{"firstnames":["Henry"],"propositions":[],"lastnames":["Kautz"],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Selman"],"suffixes":[]}],"title":"Planning as Satisfiability","booktitle":"ECAI-92","_address":"Vienna","_publisher":"Wiley","_pages":"359–363","bibtex":"@inproceedings{Kautz+Selman:1992,\n\tyear = 1992,\n\tauthor = \"Henry Kautz and Bart Selman\",\n\ttitle = \"Planning as Satisfiability\",\n\tbooktitle = ecai92,\n\t_address = \"Vienna\",\n\t_publisher = wiley,\n _pages = \"359--363\"\n}\n\n","author_short":["Kautz, H.","Selman, B."],"key":"Kautz+Selman:1992","id":"Kautz+Selman:1992","bibbaseid":"kautz-selman-planningassatisfiability-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["planning","satisfiability","kautz","selman"],"keywords":[],"authorIDs":[],"dataSources":["3mK2T85hzrpLutE5R","KmdEXRiKqSHvuDHgs","cx4WvnDhXJhiLqdQo"]}