Dominik P. Schreiber
Title
Cited by
Cited by
Year
Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning
D Schreiber, D Pellier, H Fiorino
Proceedings of the International Conference on Automated Planning and …, 2019
112019
PASAR—Planning as Satisfiability with Abstraction Refinement
N Froleyks, T Balyo, D Schreiber
Twelfth Annual Symposium on Combinatorial Search, 2019
42019
Finding optimal longest paths by dynamic programming in parallel
K Fieger, T Balyo, C Schulz, D Schreiber
Twelfth Annual Symposium on Combinatorial Search, 2019
22019
Efficient SAT encodings for hierarchical planning
D Schreiber, D Pellier, H Fiorino, T Balyo
12019
Hierarchical task network planning using SAT techniques
D Schreiber, D PELLIER, H FIORINO
Master’s thesis, Grenoble Institut National Polytechnique, Karlsruhe …, 2018
12018
PASAR Entering the Sparkle Planning Challenge 2019
N Froleyks, T Balyo, D Schreiber
2019
Aquaplanning: An Educational Framework for Automated Planning
T Balyo, D Schreiber, P Hegemann, J Trautmann
2019
Finding Optimal Longest Paths by Dynamic Programming in Parallel
T Balyo, K Fieger, D Schreiber, C Schulz
2019
Energieeffiziente Ausführung von qualitätsbewussten Algorithmen für Mobile Simulationen
D Schreiber
2016
Engineering HordeSat Towards Malleability: mallob-mono in the SAT 2020 Cloud Track
D Schreiber
SAT COMPETITION 2020, 45, 0
Security in Programming Languages
D Schreiber
Vergleich von Bibliotheken zur Linearen Algebra
J Götzer, S Reiß, D Schreiber
The system can't perform the operation now. Try again later.
Articles 1–12