Publications

Scientific works and publications


Scalable SAT Solving in the Cloud (PDF, Github)
D.S., Peter Sanders
In: Proceedings of SAT 2021 (to appear).

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.

Lifted Logic for Task Networks: TOHTN Planner Lilotane in the IPC 2020 (PDF, Github)
D.S.
In: Behnke et al.: Proceedings of the International Planning Competition 2020.

Engineering HordeSat Towards Malleability: mallob-mono in the SAT 2020 Cloud Track (PDF, Github)
D.S.
In: 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
Master thesis supervised by Damien Pellier and Humbert Fiorino, IMAG (Grenoble);
KIT supervisor Tomáš Balyo

Vergleich von Bibliotheken zur Linearen Algebra (PDF)
Comparison of libraries for linear algebra
07/11/2016
Study task, together with Joscha Götzer and Simon Reiß
Examiner: Prof. Dr. rer. nat. habil. Miriam Mehl

Energieeffiziente Ausführung von qualitätsbewussten Algorithmen für Mobile Simulationen (PDF)
Energy-efficient execution of quality-aware algorithms for mobile simulations
29/09/2016
Bachelor thesis
Examiner: Prof. Dr. rer-nat. Dr. H.c. Kurt Rothermel

Security in Programming Languages (German; PDF)
17/07/2016
Seminar assignment
Examiner: Prof Dr. rer. nat. Stefan Wagner

Energiemanagement (PDF)
Energy management
15/05/2015
Seminar assignment
Advisor: Dipl.-Math. Andreas Wohlfrom