Scalable error detection using boolean satisfiability.
Yichen XieAlexander AikenPublished in: POPL (2005)
Keyphrases
- error detection
- boolean satisfiability
- error correction
- sat solvers
- probabilistic planning
- boolean optimization
- branch and bound algorithm
- randomly generated
- sat solving
- fault tolerance
- sat problem
- integer linear programming
- symmetry breaking
- combinatorial problems
- max sat
- orders of magnitude
- phase transition
- fault tolerant
- branch and bound
- lower bound
- search algorithm