Team
Dominik P. SchreiberDominik P. Schreiber
Dr. rer. nat. Dominik Schreiber
Young Investigator 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
Academics
Dominik Schreiber has received his doctoral degree with distinction at Karlsruhe Institute of Technology (KIT), Germany, following doctoral studies in Peter Sanders’ Algorithm Engineering group (2018-2023).
Before, he studied Software Engineering, B.Sc. at University Stuttgart (2013-2016) and Computer Science in a double degree programme between KIT and Institut National Polytechnique (INP), Grenoble, France (2016-2018).
Schreiber has served as a PC member of ICAPS (CORE A*) and ECAI, served as a reviewer for JAIR, and co-organized the 2023 International Planning Competition and the 2024 ICAPS Workshop on Hierarchical Planning (HPlan).
Schreiber’s research focuses on the scalable resolution of NP-hard problems (and beyond) with a particular focus on parallel and distributed systems.
His research on scalable SAT solving has been acknowledged with the SAT Association’s Fahiem Bacchus Award and with a joint Dissertation Award by the German Informatics Society (GI), Austrian Computer Society (OCG), and Swiss Informatics Society (SI).
His automated reasoning software tools have scored top ranks at several international competitive events, including a total of 21 medals (12 gold) at the International SAT Competitions 2020-2024.
Projects
See also the group research page.
KiKIT
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 Principal Investigator, 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 being developed further. Read more.
Lilotane
Lilotane (Lifted Logic for Task Networks) is a hierarchical automated planning system based on a careful translation to SAT.
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 over a dozen of 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.