Home | deutsch  | Legals | Data Protection | Sitemap | KIT
Mitarbeiterbild Dominik Schreiber

M.Sc. Dominik Schreiber

Room: 209
Phone: +49 721 608-45267
Fax: +49 721 608-43088
dominik schreiberDnq4∂kit edu



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

  • HTN-SAT: Totally-ordered, quality-aware HTN planning system using incremental SAT solving
  • Aquaplanning: Automated Planning framework for educative and research purposes

Publications


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, Menlo Park, CA
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, Menlo Park, CA
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, Palo Alto, CA
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, Setúbal, P. doi:10.5220/0007343305310538Volltext Volltext der Publikation als PDF-Dokument
Technical Reports
Title Author(s) Source Date

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


Talks
Title Location Date

Napa, CA, USA

July 2019

Berkeley, CA, USA

July 2019

Prague, CZ

February 2019



Teaching

Courses
Title Type Semester
Vorlesung (V) WS 18/19
WS 18/19


Open Theses
Title Subject Supervisor
Automated Planning, Parallel Algorithms


Supervised Theses
Title Subject Supervisor Student
SAT Solving, Compression

Jens Manig