![Mitarbeiterbild Dominik Schreiber](/img/content/dominik_schreiber_rdax_230x290.png)
Dr. rer. nat. Dominik Schreiber
- Raum: 222
- Tel.: +49 721 608-46603
- Fax: +49 721 608-43088
- dominik schreiber ∂does-not-exist.kit edu
- www.dominikschreiber.de
Lebenslauf
- Post-doktoraler Mitarbeiter (seit 2023)
- Promotion am ITI bei Prof. Sanders (2018-2023)
- 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
- Skalierbares Lösen NP-schwieriger Probleme
- SAT Solving
- Automatisierte Planung
- Scheduling/Ressourcenzuteilung
- Parallele und verteilte diskrete Algorithmen (HPC, Cloud)
- Verlässliche und vertrauenswürdige Verfahren für paralleles+verteiltes logisches Schließen
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-2023, weitere 1.-3. Platzierungen in Parallel Tracks (64 Hardwarethreads) 2021-2023. — 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
Taitler, A.; Alford, R.; Espasa, J.; Behnke, G.; Fišer, D.; Gimelfarb, M.; Pommerening, F.; Sanner, S.; Scala, E.; Schreiber, D.; Segovia-Aguas, J.; Seipp, J.
2024. AI Magazine, 45 (2), 280–296. doi:10.1002/aaai.12169
Schreiber, D.; Sanders, P.
2024. HOPC’24: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing. Ed.: L. Dhulipala, 11–12, Association for Computing Machinery (ACM). doi:10.1145/3670684.3673414
Akram, M.; Schreiber, D.
2024. Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 36th ACM Symposium on Parallelism in Algorithms and Architectures (2024) Nantes, Frankreich, 17.06.2024–21.06.2024, 137–139, Association for Computing Machinery (ACM). doi:10.1145/3626183.3660268
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
Schreiber, D. P.
2023, Dezember 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165224
Michaelson, D.; Schreiber, D.; Heule, M. J. H.; Kiesl-Reiter, B.; Whalen, M. W.
2023. Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Ed. by Sriram Sankaranarayanan, 348–366, Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_18
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{32,64,1600} in the SAT Competition 2023 | Dominik Schreiber |
SAT Competition 2023, Cloud & Parallel Track |
2023 |
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 |
---|---|---|
Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning | 29th International Conference on Automated Planning and Scheduling (ICAPS) |
Juli 2019 |
Scalable Satisfiability-driven Problem Solving | Helmholtz AI Conference |
Juni 2022 |
Scalable SAT Solving in the Cloud | 24th International Conference on Theory and Applications of Satisfiability Testing (SAT) |
Juli 2021 |
Lilotane: A Lifted SAT-based Approach to Hierarchical Planning | International Joint Conferences on Artificial Intelligence (IJCAI) |
August 2021 |
Finding Optimal Longest Paths by Dynamic Programming in Parallel | 12th Annual Symposium on Combinatorial Search (SoCS) |
Juli 2019 |
Efficient SAT Encodings for Hierarchical Planning | 12th International Conference on Agents and Artificial Intelligence (ICAART) |
Februar 2019 |
Decentralized Online Scheduling of Malleable NP-hard Jobs | International European Conference on Parallel and Distributed Computing (Euro-Par) |
August 2022 |
Lehre
Hinweis: Die folgenden Listen sind nicht aktuell; bitte direkt auf den Lehrveranstaltungs-Seiten der Arbeitsgruppe nachsehen.
Titel | Typ | Semester |
---|---|---|
Parallele Algorithmen | Vorlesung (V) | WS 18/19 |
Automated Planning and Scheduling | 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 |