Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints.
Mark H. LiffitonKarem A. SakallahPublished 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