Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling.

Peter Sanders Dominik Schreiber

Published in: J. Open Source Softw. (2022)

Keyphrases

job scheduling
sat solving
sat solvers
sat problem
boolean satisfiability
grid environment
resource allocation
load balancing
multi agent
distributed systems
database systems
sat encodings
information retrieval
query processing
cloud computing
symmetry breaking