Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints.

Mark H. Liffiton Karem A. Sakallah

Published in: J. Autom. Reason. (2008)

Keyphrases

orders of magnitude
recently developed
learning algorithm
computational complexity

computational cost
worst case
optimization problems
theoretical analysis

data mining
data streams
data mining techniques
machine learning algorithms

data mining algorithms
computational efficiency
constraint satisfaction
combinatorial optimization