AMUSE: a minimally-unsatisfiable subformula extractor.
Yoonna OhMaher N. MneimnehZaher S. AndrausKarem A. SakallahIgor L. MarkovPublished in: DAC (2004)
Keyphrases
- propositional formulas
- propositional logic
- normal form
- boolean satisfiability
- sat solvers
- propositional satisfiability
- unsatisfiable cores
- phase transition
- belief revision
- first order logic
- sat problem
- cnf formula
- heuristic search
- orders of magnitude
- constraint satisfaction problems
- np hard
- proof procedures
- genetic algorithm