@inproceedings{DBLP:conf/aaai/BehnkeHB19,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  title     = {Bringing Order to Chaos - {A} Compact Representation of Partial Order
               in SAT-Based {HTN} Planning},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages     = {7520--7529},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://doi.org/10.1609/aaai.v33i01.33017520},
  doi       = {10.1609/aaai.v33i01.33017520},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BehnkeHB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nwNMLmmSfvsHfxnBu","bibbaseid":"behnke-hller-biundo-bringingordertochaosacompactrepresentationofpartialorderinsatbasedhtnplanning-2019","authorIDs":["WEh8ZoA2fqemFAtAj","YGnWJyGWcR9pxijqc","xtiSRBeiTo7R7MSMn"],"author_short":["Behnke, G.","Höller, D.","Biundo, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Höller"],"suffixes":[]},{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]}],"title":"Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning","booktitle":"The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019","pages":"7520–7529","publisher":"AAAI Press","year":"2019","url":"https://doi.org/10.1609/aaai.v33i01.33017520","doi":"10.1609/aaai.v33i01.33017520","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aaai/BehnkeHB19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/BehnkeHB19,\n author = {Gregor Behnke and\n Daniel H{\\\"{o}}ller and\n Susanne Biundo},\n title = {Bringing Order to Chaos - {A} Compact Representation of Partial Order\n in SAT-Based {HTN} Planning},\n booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}\n 2019, The Thirty-First Innovative Applications of Artificial Intelligence\n Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational\n Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,\n USA, January 27 - February 1, 2019},\n pages = {7520--7529},\n publisher = {{AAAI} Press},\n year = {2019},\n url = {https://doi.org/10.1609/aaai.v33i01.33017520},\n doi = {10.1609/aaai.v33i01.33017520},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/BehnkeHB19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Behnke, G.","Höller, D.","Biundo, S."],"key":"DBLP:conf/aaai/BehnkeHB19","id":"DBLP:conf/aaai/BehnkeHB19","bibbaseid":"behnke-hller-biundo-bringingordertochaosacompactrepresentationofpartialorderinsatbasedhtnplanning-2019","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v33i01.33017520"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/150/5955.bib","creationDate":"2020-04-16T06:31:03.805Z","downloads":0,"keywords":[],"search_terms":["bringing","order","chaos","compact","representation","partial","order","sat","based","htn","planning","behnke","höller","biundo"],"title":"Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning","year":2019,"dataSources":["GEcCYSyjitjDHeMJm"]}