TY  - RPRT
TI  - Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
AU  - Dominik Schreiber
PY  - 2025
UR  - https://arxiv.org/abs/2505.18836
ID  - 2505.18836
ER  -