Schreiber, Dominik

2 publications

JAIR 2024 MallobSat: Scalable SAT Solving by Clause Sharing Dominik Schreiber, Peter Sanders

JAIR 2021 Lilotane: A Lifted SAT-Based Approach to Hierarchical Planning Dominik Schreiber