dominik_schreiber

M.Sc. Dominik Schreiber

Lebenslauf

Weitere Einzelheiten stehen auf meiner privaten Homepage zur Verfügung.

Forschungsschwerpunkte

  • Dynamische Lastverteilungs-Verfahren im Kontext NP-schwieriger Berechnungen
  • Lösungsverfahren zu aussagenlogischer Erfüllbarkeit (SAT) und deren effiziente Nutzung in der Praxis
  • Automatisierte Planung, insbesondere Hierarchische und SAT-basierte Planung

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-2022, weitere 1.-3. Platzierungen in Parallel Tracks (64 Hardwarethreads) 2021-2022. — 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


Scalable discrete algorithms for big data applications
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
Scalable SAT Solving and its Application. Dissertation
Schreiber, D. P.
2023, Dezember 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165224VolltextVolltext der Publikation als PDF-Dokument
Unsatisfiability proofs for distributed clause-sharing SAT solvers
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_18VolltextVolltext der Publikation als PDF-Dokument
Decentralized Online Scheduling of Malleable NP-hard Jobs
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_8VolltextVolltext der Publikation als PDF-Dokument
Scalable SAT Solving in the Cloud
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_35VolltextVolltext der Publikation als PDF-Dokument
Finding Optimal Longest Paths by Dynamic Programming in Parallel
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
PASAR - Planning as Satisfiability with Abstraction Refinement
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
Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning
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
Efficient SAT Encodings for Hierarchical Planning
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/0007343305310538VolltextVolltext der Publikation als PDF-Dokument
Technische Berichte
Titel Autoren Quelle Datum

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

Technischer Bericht, Sparkle Planning Challenge 2019

Juli 2019

Tomas Balyo, Dominik Schreiber, Patrick Hegemann, Jeremias Trautmann

Technischer Bericht, Sparkle Planning Challenge 2019

Juli 2019
Präsentationen
Titel Tagung Datum

International European Conference on Parallel and Distributed Computing (Euro-Par)

August 2022

Helmholtz AI Conference

Juni 2022

International Joint Conferences on Artificial Intelligence (IJCAI)

August 2021

24th International Conference on Theory and Applications of Satisfiability Testing (SAT)

Juli 2021

12th Annual Symposium on Combinatorial Search (SoCS)

Juli 2019

29th International Conference on Automated Planning and Scheduling (ICAPS)

Juli 2019

12th International Conference on Agents and Artificial Intelligence (ICAART)

Februar 2019

Lehre

Veranstaltungen
Titel Typ Semester
Vorlesung (V) WS 18/19
Vorlesung (V) WS 18/19
Offene Abschlussarbeiten
Titel Forschungsthema Betreuer
Parallele und verteilte Algorithmen, SAT Solving, automatisierte Planung
Abgeschlossene Abschlussarbeiten
Titel Forschungsthema Betreuer Student
SAT Solving, Distributed Algorithms

Dominik Schreiber, Markus Iser

Malte Sönnichsen

Kombinatorische Suche

Peter Sanders, Dominik Schreiber

Tan Grumser

Verteilte Algorithmen

Dominik Schreiber

Michael Dörr

Verteilte Algorithmen, SAT Solving

Peter Sanders, Dominik Schreiber

Maximilian Schick

Automatisierte Planung

Peter Sanders, Dominik Schreiber

Nikolai Schnell

Automatisierte Planung, SAT Solving, Parallele Algorithmen

Dominik Schreiber

Marvin Williams

Automatisierte Planung, SAT Solving, Heuristische Suche

Tomáš Balyo, Dominik Schreiber

Nils Froleyks

Automatisierte Planung, Parallele Algorithmen

Tomáš Balyo, Dominik Schreiber

Jean-Pierre von der Heydt

SAT Solving, Kompression

Jens Manig