M.Sc. Dominik Schreiber
- Raum: 209
- Tel.: +49 721 608-45267
- Fax: +49 721 608-43088
- dominik schreiber ∂does-not-exist.kit edu
- www.dominikschreiber.de
Lebenslauf
- Doppelmaster-Studium der Informatik: Karlsruhe Institute of Technology (KIT) und Grenoble Institut National Polytechnique (INP), Frankreich (2016-2018)
- Bachelor-Studium der Softwaretechnik (B.Sc.): Universität Stuttgart (2013-2016)
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
- Mallob (Malleable Load Balancer / Massively Parallel Logic Backend): Plattform für massiv parallele und verteilte Berechnungen mit Hauptaugenmerk auf On-Demand SAT Solving.
- International SAT Competitions: 1. Platz in Cloud Tracks (1600 Hardwarethreads) 2020-2022, weitere 1.-3. Platzierungen in Parallel Tracks (64 Hardwarethreads) 2021-2022. — Presseartikel 2020, Website der SAT Competitions
- Nominiert für Best Paper Award @ 28th International European Conference on Parallel and Distributed Computing (Euro-Par) 2022
- Lilotane (Lifted Logic for Task Networks): Automatisierter Planer für hierarchische Planungsprobleme mittels neuartiger SAT-Kodierung. 2. Platz im Total Order Track der International Planning Competition 2020.
- HTN-SAT (Hierarchical Task Networks via SATisfiability) / Tree-REX (Tree-like Reduction Exploration): Qualitätsbewusstes HTN-Planungssystem unter totaler Ordnung, das inkrementelles SAT Solving nutzt. Vorgänger von Lilotane.
Veröffentlichungen
Hespe, D.; Hübner, L.; Hübschle-Schneider, L.; Sanders, P.; Schreiber, D.
2023. High Performance Computing in Science and Engineering ’21 – Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021. Ed.: W. Nagel, 439–449, Springer International Publishing. doi:10.1007/978-3-031-17937-2_27
Sanders, P.; Schreiber, D.
2022. Journal of Open Source Software, 7 (76), 4591. doi:10.21105/joss.04591
Sanders, P.; Schreiber, D.
2022. Euro-Par 2022 : Parallel Processing. Hrsg.: J. Cano, 119–135, Springer International Publishing. doi:10.1007/978-3-031-12597-3_8
Schreiber, D.
2021. Journal of artificial intelligence research, 70, 1117–1181. doi:10.1613/jair.1.12520
Schreiber, D.; Sanders, P.
2021. Theory and Applications of Satisfiability Testing – SAT 2021. Ed.: C.-M. Li, 518–534, Springer. doi:10.1007/978-3-030-80223-3_35
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
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
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
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. doi:10.5220/0007343305310538
Schreiber, D. P.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000104165
| Titel | Autoren | Quelle | Datum |
|---|---|---|---|
| Mallob in the SAT Competition 2022 | Dominik Schreiber |
SAT Competition 2022, Cloud & Parallel Track |
2022 |
| Mallob in the SAT Competition 2021 | Dominik Schreiber |
SAT Competition 2021, Cloud & Parallel Track |
2021 |
| The HTN Domain "Factories" | Malte Sönnichsen, Dominik Schreiber |
Proceedings of 10th International Planning Competition: Planner and Domain Abstracts |
2021 |
| Lifted Logic for Task Networks: TOHTN Planner Lilotane in the IPC 2020 | Dominik Schreiber |
Proceedings of 10th International Planning Competition: Planner and Domain Abstracts |
2021 |
| 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 |
| Titel | Tagung | Datum |
|---|---|---|
| Decentralized Online Scheduling of Malleable NP-hard Jobs | International European Conference on Parallel and Distributed Computing (Euro-Par) |
August 2022 |
| Scalable Satisfiability-driven Problem Solving | Helmholtz AI Conference |
Juni 2022 |
| Lilotane: A Lifted SAT-based Approach to Hierarchical Planning | International Joint Conferences on Artificial Intelligence (IJCAI) |
August 2021 |
| Scalable SAT Solving in the Cloud | 24th International Conference on Theory and Applications of Satisfiability Testing (SAT) |
Juli 2021 |
| 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 |
| Titel | Typ | Semester |
|---|---|---|
| Automated Planning and Scheduling | Vorlesung (V) | WS 18/19 |
| Parallele Algorithmen | Vorlesung (V) | WS 18/19 |
| Titel | Forschungsthema | Betreuer |
|---|---|---|
| Skalierbare Verarbeitung NP-schwieriger Probleme | Parallele und verteilte Algorithmen, SAT Solving, automatisierte Planung |
| Titel | Forschungsthema | Betreuer | Student |
|---|---|---|---|
| Asynchronous Clause Exchange for Malleable SAT Solving | SAT Solving, Distributed Algorithms | Dominik Schreiber, Markus Iser |
Malte Sönnichsen |
| Engineering Optimal Solvers for Rubik's Cubes | Kombinatorische Suche | Peter Sanders, Dominik Schreiber |
Tan Grumser |
| K-Means in a Malleable Distributed Environment | Verteilte Algorithmen | Dominik Schreiber |
Michael Dörr |
| Cube&Conquer-inspired Malleable Distributed SAT Solving | Verteilte Algorithmen, SAT Solving | Peter Sanders, Dominik Schreiber |
Maximilian Schick |
| Pruning Techniques for Lifted SAT Based Hierarchical Planning | Automatisierte Planung | Peter Sanders, Dominik Schreiber |
Nikolai Schnell |
| Partiell Instantiierte Repräsentationen für Automatisierte Planung | Automatisierte Planung, SAT Solving, Parallele Algorithmen | Dominik Schreiber |
Marvin Williams |
| 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 | Jens Manig |