Please find the current webpage of Dominik Schreiber at satres.kikit.kit.edu.

The below information is preserved for archival purposes but is no longer being updated.

• Post-doctoral research fellow (since 2023)
• Doctoral studies at ITI with Prof. Sanders (2018-2023)
• Double-degree Master studies in Computer Science: Karlsruhe Institute of Technology (KIT), Germany and Grenoble Institut National Polytechnique (INP), France (2016-2018)
• Bachelor studies in Software Engineering (B.Sc.): University of Stuttgart, Germany (2013-2016)

For more details, please consult my private homepage.

• Scalable resolution of NP-hard problems
  • SAT solving
  • automated planning
  • scheduling
• Parallel and distributed discrete algorithms (HPC, cloud)
• Reliable and trustworthy approaches to parallel+distributed automated reasoning

• Mallob (Malleable Load Balancer / Massively Parallel Logic Backend): Platform for massively parallel and distributed computations, focusing on SAT solving on-demand.
  • International SAT Competitions: 1st Place in Cloud Tracks (1600 hardware threads) 2020-2023, further top placings in Parallel Tracks (64 hardware threads) 2021-2023. — press article 2020, website of SAT Competitions
  • Nominated for Best Paper Award @ 28th International European Conference on Parallel and Distributed Computing (Euro-Par) 2022
• Lilotane (Lifted Logic for Task Networks): Automated planner for hierarchical planning problems using an advanced encoding into SAT. 2nd place in Total Order Track of International Planning Competition 2020.
• HTN-SAT (Hierarchical Task Networks via SATisfiability): Totally-ordered, quality-aware HTN planning system using incremental SAT solving; predecessor of Lilotane.

Note: The following lists are outdated; please consult the group's teaching webpages directly.