Publikationen

Wissenschaftliche Arbeiten und Veröffentlichungen


Mallob in the SAT Competition 2021 (PDF, Github)
D.S.
In: Proceedings of SAT Competition 2021 (erscheint in Kürze).

Scalable SAT Solving in the Cloud (PDF, Github, Vortrag)
D.S., Peter Sanders
In: Proceedings of SAT 2021 (erscheint in Kürze).

Lilotane: A Lifted SAT-based Approach to Hierarchical Planning (PDF, DOI, Github)
D.S.
In: Journal of Artificial Intelligence Research (JAIR) 70 (2021), S.1117-1181.

The HTN Domain "Factories" (PDF)
Malte Sönnichsen, D.S.
In: Behnke et al.: Proceedings of 10th International Planning Competition: Planner and Domain Abstracts, S.45-46, 2021.

Lifted Logic for Task Networks: TOHTN Planner Lilotane in the IPC 2020 (PDF, Github)
D.S.
In: Behnke et al.: Proceedings of 10th International Planning Competition: Planner and Domain Abstracts, S.9-12, 2021.

Engineering HordeSat Towards Malleability: mallob-mono in the SAT 2020 Cloud Track (PDF, Github)
D.S.
In: Proceedings of SAT Competition 2020, S.45.

PASAR – Planning as Satisfiability with Abstraction Refinement (PDF)
Nils Froleyks, Tomáš Balyo, D.S.
In: Proceedings of The 12th Annual Symposium on Combinatorial Search (SoCS), 2019

Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning (PDF)
D.S., Damien Pellier, Humbert Fiorino, Tomáš Balyo
In: Proceedings of the 29th International Conference on Planning and Scheduling (ICAPS), 2019

Efficient SAT Encodings for Hierarchical Planning (PDF)
D.S., Damien Pellier, Humbert Fiorino, Tomáš Balyo
In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART), 2019


Hierarchical Task Network Planning Using SAT Techniques (PDF, Gitlab)
24.06.2018
Masterarbeit bei Damien Pellier und Humbert Fiorino, IMAG (Grenoble);
seitens des KIT betreut von Tomáš Balyo

Vergleich von Bibliotheken zur Linearen Algebra (PDF)
07.11.2016
Fachstudie, gemeinsam mit Joscha Götzer and Simon Reiß
Prüferin: Prof. Dr. rer. nat. habil. Miriam Mehl

Energieeffiziente Ausführung von qualitätsbewussten Algorithmen für Mobile Simulationen (PDF)
29.09.2016
Bachelorarbeit
Prüfer: Prof. Dr. rer. nat. Dr. h.c. Kurt Rothermel

Security in Programming Languages (deutschsprachig; PDF)
Informationssicherheit in Programmiersprachen
17.07.2016
Seminararbeit
Prüfer: Prof Dr. rer. nat. Stefan Wagner

Energiemanagement (PDF)
15.05.2015
Seminararbeit
Betreuer: Dipl.-Math. Andreas Wohlfrom