A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
Nachum DershowitzZiyad HannaAlexander NadelPublished in: CoRR (2006)
Keyphrases
- unsatisfiable cores
- max sat
- hidden structure
- maximum satisfiability
- boolean satisfiability
- automatic extraction
- neural network
- sat solvers
- sat problem
- automatically extracted
- knowledge extraction
- phase transition
- databases
- real time
- branch and bound algorithm
- domain specific
- data extraction
- evolutionary algorithm
- database systems
- search engine
- information retrieval