Home | english  | Impressum | Datenschutz | Sitemap | KIT
Mitarbeiterbild Dominik Schreiber

M.Sc. Dominik Schreiber

Raum: 209
Tel.: +49 721 608-45267
Fax: +49 721 608-43088
dominik schreiberDpe1∂kit edu



Lebenslauf

Weitere Einzelheiten stehen auf meiner privaten Homepage zur Verfügung.

Forschungsschwerpunkte

  • Dynamische Lastverteilungs-Verfahren im Kontext NP-schwieriger Berechnungen
  • Lösungsverfahren zu aussagenlogischer Erfüllbarkeit (SAT) und deren effiziente Nutzung in der Praxis
  • Automatisierte Planung, insbesondere Hierarchische und SAT-basierte Planung

Software

  • HTN-SAT: Qualitätsbewusstes HTN-Planungssystem unter totaler Ordnung, das inkrementelles SAT Solving nutzt
  • Aquaplanning: Framework zu automatisierter Planung für Lehre- und Forschungszwecke

Veröffentlichungen


Finding Optimal Longest Paths by Dynamic Programming in Parallel.
Fieger, K.; Balyo, T.; Schulz, C.; Schreiber, D.
2019. Proceedings of the 12th Annual Symposium on Combinatorial Search (SoCs 2019), Napa, CA, July 16-17, 2019, 61–69, AAAI Press, Menlo Park, CA
PASAR - Planning as Satisfiability with Abstraction Refinement.
Froleyks, N.; Balyo, T.; Schreiber, D.
2019. Proceedings of the 12th Annual Symposium on Combinatorial Search (SoCs 2019), Napa, CA, July 16-17, 2019, 70–78, AAAI Press, Menlo Park, CA
Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning.
Schreiber, D.; Pellier, D.; Fiorino, H.; Balyo, T.
2019. Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), Berkeley, CA, July 11-15, 2019, Ed.: J. Benton, 382–390, AAAI Press, Palo Alto, CA
Efficient SAT Encodings for Hierarchical Planning.
Schreiber, D.; Pellier, D.; Fiorino, H.; Balyo, T.
2019. Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), Prague, CZ, February 19-21, 2019. Ed.: J. van den Herik. Vol. 2, 531–538, SCITEPRESS, Setúbal, P. doi:10.5220/0007343305310538Volltext Volltext der Publikation als PDF-Dokument
Technische Berichte
Titel Autoren Quelle Datum

Tomas Balyo, Dominik Schreiber, Patrick Hegemann, Jeremias Trautmann

Technischer Bericht, Sparkle Planning Challenge 2019

Juli 2019

Nils Froleyks, Tomas Balyo, Dominik Schreiber

Technischer Bericht, Sparkle Planning Challenge 2019

Juli 2019


Präsentationen
Titel Tagung Datum

12th Annual Symposium on Combinatorial Search (SoCS)

Juli 2019

29th International Conference on Automated Planning and Scheduling (ICAPS)

Juli 2019

12th International Conference on Agents and Artificial Intelligence (ICAART)

Februar 2019



Lehre

Veranstaltungen
Titel Typ Semester
Vorlesung (V) WS 18/19
Vorlesung (V) WS 18/19


Offene Abschlussarbeiten
Titel Forschungsthema Betreuer
Automatisierte Planung, Parallele Algorithmen


Abgeschlossene Abschlussarbeiten
Titel Forschungsthema Betreuer Student
SAT Solving, Kompression

Jens Manig