Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning

Dominik Schreiber

This report describes an extension of the distributed job scheduling and SAT solving platform Mallob by incremental SAT solving, embedded in a case study on SAT-based hierarchical…