Poster reception - Alef parallel SAT solver for HPC hardware.
James R. EzickSamuel B. LuckenbillDonald NguyenPéter SzilágyiJohn StarksRichard A. LethinPublished in: SC (2006)
Keyphrases
- sat solvers
- massively parallel
- high performance computing
- sat solving
- orders of magnitude
- constraint satisfaction
- search space
- graphics processing units
- parallel computing
- propositional satisfiability
- boolean satisfiability
- sat instances
- sat problem
- shared memory
- search tree
- max sat
- parallel architectures
- search strategies
- computing systems
- symmetry breaking
- clause learning
- sat encodings
- propositional logic
- special case