Mitarbeiterbild Dominik Schreiber

M.Sc. Dominik Schreiber

Curriculum Vitae

For more details, please consult my private homepage.

Research Interests

  • Malleable load balancing strategies in the context of NP-hard computations
  • Satisfiability (SAT) solving and its efficient practical usage
  • Automated planning, in particular hierarchical planning and SAT-based planning

Software

  • 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-2022, further top placings in Parallel Tracks (64 hardware threads) 2021-2022. — 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.

Publications


Technical Reports
Title Author(s) Source Date

Dominik Schreiber

SAT Competition 2022, Cloud & Parallel Track

2022

Dominik Schreiber

SAT Competition 2021, Cloud & Parallel Track

2021

Malte Sönnichsen, Dominik Schreiber

Proceedings of 10th International Planning Competition: Planner and Domain Abstracts

2021

Dominik Schreiber

Proceedings of 10th International Planning Competition: Planner and Domain Abstracts

2021

Dominik Schreiber

SAT Competition 2020, Cloud Track

2020

Nils Froleyks, Tomas Balyo, Dominik Schreiber

Technical Report, Sparkle Planning Challenge 2019

July 2019

Tomas Balyo, Dominik Schreiber, Patrick Hegemann, Jeremias Trautmann

Technical Report, Sparkle Planning Challenge 2019

July 2019

Teaching

Open Theses
Title Subject Supervisor
Parallel and distributed algorithms, SAT Solving, automated planning
Supervised Theses
Title Subject Supervisor Student
SAT Solving, Distributed Algorithms

Dominik Schreiber, Markus Iser

Malte Sönnichsen

Combinatorial search

Peter Sanders, Dominik Schreiber

Tan Grumser

Distributed Algorithms

Dominik Schreiber

Michael Dörr

Distributed Algorithms, SAT Solving

Peter Sanders, Dominik Schreiber

Maximilian Schick

Automated planning

Peter Sanders, Dominik Schreiber

Nikolai Schnell

Automated Planning, SAT Solving, Parallel Algorithms

Dominik Schreiber

Marvin Williams

Automated Planning, SAT Solving, Heuristic Search

Tomáš Balyo, Dominik Schreiber

Nils Froleyks

Automated Planning, Parallel Algorithms

Tomáš Balyo, Dominik Schreiber

Jean-Pierre von der Heydt

SAT Solving, Compression

Jens Manig