SMCHR: Satisfiability modulo constraint handling rules.
Gregory J. DuckPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- constraint handling rules
- satisfiability problem
- np complete
- propositional logic
- computational complexity
- phase transition
- data mining
- data sets
- neural network
- information retrieval
- artificial intelligence
- orders of magnitude
- search space
- reasoning problems
- symmetry breaking
- decision procedures
- sat instances
- search algorithm
- case study
- e learning
- databases