Cause clue clauses: error localization using maximum satisfiability.
Manu JoseRupak MajumdarPublished in: PLDI (2011)
Keyphrases
- boolean satisfiability
- maximum satisfiability
- unsatisfiable cores
- branch and bound algorithm
- probabilistic planning
- max sat
- sat solvers
- sat problem
- randomly generated
- symmetry breaking
- integer linear programming
- search space
- combinatorial problems
- boolean formula
- phase transition
- horn clauses
- graph coloring
- utility function
- first order logic
- search algorithm