Scalable SAT Solving in the Cloud.

Dominik Schreiber Peter Sanders

Published in: CoRR (2022)

Keyphrases

sat solving
sat solvers
boolean satisfiability
cloud computing
sat problem
max sat
boolean optimization
special case
constraint satisfaction
clause learning
sat encodings
data structure
orders of magnitude
constraint programming