Scalable SAT Solving in the Cloud
Dominik Schreiber, Peter Sanders
Topics & Concepts
Computer scienceScalabilityMassively parallelExploitParallel computingScheduling (production processes)Cloud computingSatisfiabilityDistributed computingComputationBoolean satisfiability problemTheoretical computer scienceAlgorithmMathematical optimizationDatabaseMathematicsComputer securityOperating systemParallel Computing and Optimization TechniquesDistributed and Parallel Computing SystemsConstraint Satisfaction and Optimization