@inproceedings{Krautz1996,
  added-at = {2020-05-24T20:36:48.000+0200},
  author = {Krautz, Henry and Selman, Bart},
  biburl = {https://www.bibsonomy.org/bibtex/2fda486ac3c3fd1b2e5d1906537409794/marcondg},
  booktitle = {National Conference on Artificial Intelligence},
  interhash = {515dd246daf3472338ac79c55eb9db90},
  intrahash = {fda486ac3c3fd1b2e5d1906537409794},
  keywords = {deterministic},
  pages = {1194--1201},
  timestamp = {2020-05-24T20:36:48.000+0200},
  title = {{Pushing the envelope planning, propositional logic, and stochastic search}},
  year = 1996
}

{"_id":"GSGGZGzkopwHZYDxN","bibbaseid":"krautz-selman-pushingtheenvelopeplanningpropositionallogicandstochasticsearch-1996","author_short":["Krautz, H.","Selman, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-05-24T20:36:48.000+0200","author":[{"propositions":[],"lastnames":["Krautz"],"firstnames":["Henry"],"suffixes":[]},{"propositions":[],"lastnames":["Selman"],"firstnames":["Bart"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fda486ac3c3fd1b2e5d1906537409794/marcondg","booktitle":"National Conference on Artificial Intelligence","interhash":"515dd246daf3472338ac79c55eb9db90","intrahash":"fda486ac3c3fd1b2e5d1906537409794","keywords":"deterministic","pages":"1194–1201","timestamp":"2020-05-24T20:36:48.000+0200","title":"Pushing the envelope planning, propositional logic, and stochastic search","year":"1996","bibtex":"@inproceedings{Krautz1996,\n added-at = {2020-05-24T20:36:48.000+0200},\n author = {Krautz, Henry and Selman, Bart},\n biburl = {https://www.bibsonomy.org/bibtex/2fda486ac3c3fd1b2e5d1906537409794/marcondg},\n booktitle = {National Conference on Artificial Intelligence},\n interhash = {515dd246daf3472338ac79c55eb9db90},\n intrahash = {fda486ac3c3fd1b2e5d1906537409794},\n keywords = {deterministic},\n pages = {1194--1201},\n timestamp = {2020-05-24T20:36:48.000+0200},\n title = {{Pushing the envelope planning, propositional logic, and stochastic search}},\n year = 1996\n}\n\n","author_short":["Krautz, H.","Selman, B."],"key":"Krautz1996","id":"Krautz1996","bibbaseid":"krautz-selman-pushingtheenvelopeplanningpropositionallogicandstochasticsearch-1996","role":"author","urls":{},"keyword":["deterministic"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/user/marcondg?items=1000","dataSources":["KmdEXRiKqSHvuDHgs"],"keywords":["deterministic"],"search_terms":["pushing","envelope","planning","propositional","logic","stochastic","search","krautz","selman"],"title":"Pushing the envelope planning, propositional logic, and stochastic search","year":1996}