Hierarchical task network planning using SAT techniques. Schreiber, D. Master's thesis, Grenoble Institut National Polytechnique (INP) and Karlsruhe Institute of Technology (KIT), 2018.
Pdf
Slides doi bibtex @mastersthesis{schreiber2018hierarchical,
title={Hierarchical task network planning using {SAT} techniques},
author={Schreiber, Dominik},
type={Master's thesis},
school={Grenoble Institut National Polytechnique (INP) and Karlsruhe Institute of Technology (KIT)},
year={2018},
doi={10.5445/IR/1000104165},
url_PDF={https://dominikschreiber.de/papers/master-thesis.pdf},
url_Slides={https://dominikschreiber.de/slides/2018-master.pdf},
}
Downloads: 0
{"_id":"zDMaDFZxC4xh3ZoKX","bibbaseid":"schreiber-hierarchicaltasknetworkplanningusingsattechniques-2018","author_short":["Schreiber, D."],"bibdata":{"bibtype":"mastersthesis","type":"Master's thesis","title":"Hierarchical task network planning using SAT techniques","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"school":"Grenoble Institut National Polytechnique (INP) and Karlsruhe Institute of Technology (KIT)","year":"2018","doi":"10.5445/IR/1000104165","url_pdf":"https://dominikschreiber.de/papers/master-thesis.pdf","url_slides":"https://dominikschreiber.de/slides/2018-master.pdf","bibtex":"@mastersthesis{schreiber2018hierarchical,\n\ttitle={Hierarchical task network planning using {SAT} techniques},\n\tauthor={Schreiber, Dominik},\n\ttype={Master's thesis},\n\tschool={Grenoble Institut National Polytechnique (INP) and Karlsruhe Institute of Technology (KIT)},\n\tyear={2018},\n\tdoi={10.5445/IR/1000104165},\n\turl_PDF={https://dominikschreiber.de/papers/master-thesis.pdf},\n\turl_Slides={https://dominikschreiber.de/slides/2018-master.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2018hierarchical","id":"schreiber2018hierarchical","bibbaseid":"schreiber-hierarchicaltasknetworkplanningusingsattechniques-2018","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/master-thesis.pdf"," slides":"https://dominikschreiber.de/slides/2018-master.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"mastersthesis","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF"],"keywords":[],"search_terms":["hierarchical","task","network","planning","using","sat","techniques","schreiber"],"title":"Hierarchical task network planning using SAT techniques","year":2018}