Team
Dominik P. SchreiberDominik P. Schreiber
Dr. rer. nat. Dominik Schreiber
KIT Junior Research Group Leader
dominik.schreiber@kit.edu
https://dominikschreiber.de
Building 50.34; Room 208
Am Fasanengarten 5
DE-76131 Karlsruhe
Germany
Phone: +49 721 608-44232
Bio
I am a KIT Junior Research Group Leader (KIT-Nachwuchsgruppenleiter) at Karlsruhe Institute of Technology (KIT), Germany, where I lead the Scalable Automated Reasoning group. I received my doctoral degree with distinction at KIT after completing my doctoral studies in Peter Sanders’ Algorithm Engineering group (2018–2023). Before that, I studied Software Engineering, B.Sc. at University Stuttgart (2013–2016) and Computer Science in a double degree programme between Institut National Polytechnique (INP), Grenoble, France and KIT (2016–2018).
I am a member of KIT’s Young Investigator Network (YIN). In early 2026, I passed the procedure to obtain the status of a KIT Associate Fellow, which — similar to a junior professorship — grants the right to participate in doctoral graduation procedures and involves teaching obligations.
My research focuses on the scalable resolution of automated reasoning problems, with a particular emphasis on parallel and distributed systems. My work on scalable SAT solving has been recognized with the SAT Association’s Fahiem Bacchus Award and with the joint Dissertation Award by the German Informatics Society (GI), Austrian Computer Society (OCG), and Swiss Informatics Society (SI). My automated reasoning software tools have achieved top ranks at several international competitive events, including a total of 22 medals (13 gold) at the International SAT Competitions 2020–2025.
I have served as a PC member for ICAPS, SAT, and ECAI, as a reviewer for JAIR, and co-organized the 2023 International Planning Competition and the 2024 ICAPS Workshop on Hierarchical Planning (HPlan). In addition to numerous talks at international conferences (including ICAPS and IJCAI), I have given talks and guest lectures about my work at ETH Zurich, University of Freiburg, JKU Linz, and Schloss Dagstuhl.
Projects
See also the group research page.
Propositional Proofs as Big Data
The DFG Project “Propositional Proofs as Big Data” (2026-2029, PI: D. Schreiber) explores formal, algorithmic, and practical frameworks for the production and validation of propositional proofs (i.e., correctness certificates for SAT solving) that are specifically designed for (massively) parallel computations.
KiKIT: Core Informatics Research in the Helmholtz Association
See KiKIT.
Amazon Research Award 2024
The proposal From Mavericks to Teamplayers: Fostering Solver Cooperation in Distributed SAT Solving was awarded with a 2024 Amazon Research Award, with Prof. Armin Biere (University of Freiburg) as PI, Dominik Schreiber (SAtRes) as associated personnel and (de facto) Co-PI, and Prof. Peter Sanders (Algorithm Engineering, ITI, KIT) as cooperation partner. Read more
Software
Mallob
Mallob, with its integrated SAT engine MallobSat, is our flagship software solution for scalable and dependable automated reasoning. It was designed and developed by Dominik Schreiber in the scope of his doctoral studies 2018-2023, together with Prof. Peter Sanders (Algorithm Engineering, ITI, KIT), and is in active development. Read more.
Lilotane
Lilotane (Lifted Logic for Task Networks) is a hierarchical automated planning system based on a careful translation to (incremental) SAT.
ImpCheck
ImpCheck (Immediate Massively Parallel Propositional Proof Checking) is a small C99 toolchain that allows to process and check LRUP proof information from a parallel / distributed SAT solver with clause sharing in real-time. See this SAT'24 paper.
Teaching
Practical SAT Solving
This lecture (5 ECTS) is offered together with the Algorithm Engineering group in each summer term; material is available here.
Automated Planning & Scheduling
This lecture was offered in the winter terms 2018/19 and 2019/20 by Tomáš Balyo and Dominik Schreiber; a continuation is currently not planned.
Student Theses and Projects
I have been supervising more than 20 student theses, two Praxis der Forschung (1-year research projects), and one Praxis der Softwareentwicklung (1-year programming project). Please take a look at our current offers!
Publications
See the group publication page.