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 schreiberUgr8∂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/0007343305310538 Volltext Volltext der Publikation als PDF-Dokument
27: Algorithmen II, Vorlesung, WS 2018/19, 28.01.2019.
Schreiber, D.; Lamm, S.; Schlag, S.; Maier, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-100
Hierarchical Task Network Planning Using SAT Techniques. Masterarbeit.
Schreiber, D. P.
2018. KIT, Karlsruhe. doi:10.5445/IR/1000104165 Volltext Volltext der Publikation als PDF-Dokument
Technische Berichte
Titel Autoren Quelle Datum
Engineering HordeSat Towards Malleability: mallob-mono in the SAT 2020 Cloud Track

Dominik Schreiber

SAT Competition 2020, Cloud Track

 2020
PASAR Entering the Sparkle Planning Challenge 2019

Nils Froleyks, Tomas Balyo, Dominik Schreiber

Technischer Bericht, Sparkle Planning Challenge 2019

 Juli 2019
Aquaplanning: An Educational Framework for Automated Planning

Tomas Balyo, Dominik Schreiber, Patrick Hegemann, Jeremias Trautmann

Technischer Bericht, Sparkle Planning Challenge 2019

 Juli 2019


Präsentationen
Titel Tagung Datum
Finding Optimal Longest Paths by Dynamic Programming in Parallel

12th Annual Symposium on Combinatorial Search (SoCS)

Juli 2019
Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning

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

Juli 2019
Efficient SAT Encodings for Hierarchical Planning

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

Februar 2019


Lehre

Veranstaltungen
Titel Typ Semester
Parallele Algorithmen Vorlesung (V) WS 18/19
Automated Planning and Scheduling Vorlesung (V) WS 18/19


Offene Abschlussarbeiten
Titel Forschungsthema Betreuer
Malleable Cube&Conquer SAT Solving Parallele und verteilte Algorithmen, SAT Solving

Dominik Schreiber


Abgeschlossene Abschlussarbeiten
Titel Forschungsthema Betreuer Student
PASAR – Planning as Satisfiability with Abstraction Refinement Automatisierte Planung, SAT Solving, Heuristische Suche

Tomáš Balyo, Dominik Schreiber

Nils Froleyks
Cube&Conquer Ansätze für Parallele Automatisierte Planung Automatisierte Planung, Parallele Algorithmen

Tomáš Balyo, Dominik Schreiber

Jean-Pierre von der Heydt
Kompressionstechniken für Beschreibungen von SAT Formeln SAT Solving, Kompression

Dominik Schreiber

Jens Manig