@inproceedings{KS96,
	Address = {Portland, OR},
	Author = {Henry A. Kautz and Bart Selman},
	Booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96)},
	Pages = {1194--1201},
	Title = {Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search},
	Year = {1996}}

{"_id":{"_str":"534279610e946d920a0013f2"},"__v":1,"authorIDs":[],"author_short":["Kautz, H. A.","Selman, B."],"bibbaseid":"kautz-selman-pushingtheenvelopeplanningpropositionallogicandstochasticsearch-1996","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Portland, OR","author":[{"firstnames":["Henry","A."],"propositions":[],"lastnames":["Kautz"],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Selman"],"suffixes":[]}],"booktitle":"Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96)","pages":"1194–1201","title":"Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search","year":"1996","bibtex":"@inproceedings{KS96,\n\tAddress = {Portland, OR},\n\tAuthor = {Henry A. Kautz and Bart Selman},\n\tBooktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96)},\n\tPages = {1194--1201},\n\tTitle = {Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search},\n\tYear = {1996}}\n\n","author_short":["Kautz, H. A.","Selman, B."],"key":"KS96","id":"KS96","bibbaseid":"kautz-selman-pushingtheenvelopeplanningpropositionallogicandstochasticsearch-1996","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["pushing","envelope","planning","propositional","logic","stochastic","search","kautz","selman"],"title":"Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search","year":1996,"dataSources":["2cjnbEWxd35GBeqEe"]}