@inproceedings{DBLP:conf/ijcai/BehnkeHB19,
  author    = {Gregor Behnke and
               Daniel H{\"{o}}ller and
               Susanne Biundo},
  editor    = {Sarit Kraus},
  title     = {Finding Optimal Solutions in {HTN} Planning - {A} SAT-based Approach},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {5500--5508},
  publisher = {ijcai.org},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019/764},
  doi       = {10.24963/ijcai.2019/764},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/BehnkeHB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oA2wq3yFy2ugFDwxP","bibbaseid":"behnke-hller-biundo-findingoptimalsolutionsinhtnplanningasatbasedapproach-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":[]}],"editor":[{"firstnames":["Sarit"],"propositions":[],"lastnames":["Kraus"],"suffixes":[]}],"title":"Finding Optimal Solutions in HTN Planning - A SAT-based Approach","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"5500–5508","publisher":"ijcai.org","year":"2019","url":"https://doi.org/10.24963/ijcai.2019/764","doi":"10.24963/ijcai.2019/764","timestamp":"Tue, 20 Aug 2019 16:18:18 +0200","biburl":"https://dblp.org/rec/conf/ijcai/BehnkeHB19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BehnkeHB19,\n author = {Gregor Behnke and\n Daniel H{\\\"{o}}ller and\n Susanne Biundo},\n editor = {Sarit Kraus},\n title = {Finding Optimal Solutions in {HTN} Planning - {A} SAT-based Approach},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,\n 2019},\n pages = {5500--5508},\n publisher = {ijcai.org},\n year = {2019},\n url = {https://doi.org/10.24963/ijcai.2019/764},\n doi = {10.24963/ijcai.2019/764},\n timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/BehnkeHB19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Behnke, G.","Höller, D.","Biundo, S."],"editor_short":["Kraus, S."],"key":"DBLP:conf/ijcai/BehnkeHB19","id":"DBLP:conf/ijcai/BehnkeHB19","bibbaseid":"behnke-hller-biundo-findingoptimalsolutionsinhtnplanningasatbasedapproach-2019","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2019/764"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/150/5955.bib","creationDate":"2020-04-16T06:31:03.806Z","downloads":0,"keywords":[],"search_terms":["finding","optimal","solutions","htn","planning","sat","based","approach","behnke","höller","biundo"],"title":"Finding Optimal Solutions in HTN Planning - A SAT-based Approach","year":2019,"dataSources":["GEcCYSyjitjDHeMJm"]}