@inproceedings{DBLP:conf/aips/GeffnerG18,
  author       = {Tomas Geffner and
                  Hector Geffner},
  editor       = {Mathijs de Weerdt and
                  Sven Koenig and
                  Gabriele R{\"{o}}ger and
                  Matthijs T. J. Spaan},
  title        = {Compact Policies for Fully Observable Non-Deterministic Planning as
                  {SAT}},
  booktitle    = {Proceedings of the Twenty-Eighth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
                  24-29, 2018},
  pages        = {88--96},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17732},
  timestamp    = {Mon, 25 Jun 2018 13:32:06 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/GeffnerG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"u6yEocn2ipgZfkfvX","bibbaseid":"geffner-geffner-compactpoliciesforfullyobservablenondeterministicplanningassat-2018","author_short":["Geffner, T.","Geffner, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Tomas"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Mathijs"],"propositions":["de"],"lastnames":["Weerdt"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Koenig"],"suffixes":[]},{"firstnames":["Gabriele"],"propositions":[],"lastnames":["Röger"],"suffixes":[]},{"firstnames":["Matthijs","T.","J."],"propositions":[],"lastnames":["Spaan"],"suffixes":[]}],"title":"Compact Policies for Fully Observable Non-Deterministic Planning as SAT","booktitle":"Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018","pages":"88–96","publisher":"AAAI Press","year":"2018","url":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17732","timestamp":"Mon, 25 Jun 2018 13:32:06 +0200","biburl":"https://dblp.org/rec/conf/aips/GeffnerG18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aips/GeffnerG18,\n author = {Tomas Geffner and\n Hector Geffner},\n editor = {Mathijs de Weerdt and\n Sven Koenig and\n Gabriele R{\\\"{o}}ger and\n Matthijs T. J. Spaan},\n title = {Compact Policies for Fully Observable Non-Deterministic Planning as\n {SAT}},\n booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated\n Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June\n 24-29, 2018},\n pages = {88--96},\n publisher = {{AAAI} Press},\n year = {2018},\n url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17732},\n timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},\n biburl = {https://dblp.org/rec/conf/aips/GeffnerG18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Geffner, T.","Geffner, H."],"editor_short":["de Weerdt, M.","Koenig, S.","Röger, G.","Spaan, M. T. J."],"key":"DBLP:conf/aips/GeffnerG18","id":"DBLP:conf/aips/GeffnerG18","bibbaseid":"geffner-geffner-compactpoliciesforfullyobservablenondeterministicplanningassat-2018","role":"author","urls":{"Paper":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17732"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","dataSources":["NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"],"keywords":[],"search_terms":["compact","policies","fully","observable","non","deterministic","planning","sat","geffner","geffner"],"title":"Compact Policies for Fully Observable Non-Deterministic Planning as SAT","year":2018}