A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.

Nachum Dershowitz Ziyad Hanna Alexander Nadel

Published in: SAT (2006)

Keyphrases

unsatisfiable cores
hidden structure
max sat
boolean satisfiability
maximum satisfiability
automatic extraction
automatically extracted
information extraction
data extraction
data mining
lower bound
multi agent systems
multi agent
decision making
feature selection
information systems
artificial intelligence