Cause Clue Clauses: Error Localization using Maximum Satisfiability
Manu JoseRupak MajumdarPublished in: CoRR (2010)
Keyphrases
- boolean satisfiability
- maximum satisfiability
- unsatisfiable cores
- max sat
- probabilistic planning
- sat solvers
- branch and bound algorithm
- symmetry breaking
- randomly generated
- combinatorial problems
- sat problem
- combinatorial optimization
- first order logic
- integer linear programming
- branch and bound
- learning algorithm
- horn clauses
- graph coloring
- np complete
- dynamic programming
- evolutionary algorithm
- search space
- lower bound