HordeSat: A Massively Parallel Portfolio SAT Solver.
Tomás BalyoPeter SandersCarsten SinzPublished in: SAT (2015)
Keyphrases
- massively parallel
- sat solvers
- orders of magnitude
- sat solving
- constraint satisfaction
- boolean satisfiability
- propositional satisfiability
- fine grained
- parallel computing
- search space
- sat problem
- max sat
- search strategies
- sat instances
- clause learning
- sat encodings
- reinforcement learning
- unsatisfiable cores
- constraint solver
- constraint programming