Scalable SAT Solving in the Cloud.

Dominik Schreiber Peter Sanders

Published in: SAT (2021)

Keyphrases

sat solving
sat solvers
cloud computing
boolean satisfiability
sat problem
boolean optimization
symmetry breaking