Cardinal: A Finite Sets Constraint Solver.
Francisco AzevedoPublished in: Constraints An Int. J. (2007)
Keyphrases
- finite sets
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- piecewise linear
- linear constraints
- constraint satisfaction
- constraint satisfaction problems
- linearly separable
- real numbers
- constraint logic programming
- sat solvers
- path consistency
- schema mappings
- pattern recognition
- positive and negative examples
- np complete
- search strategies
- hyperplane
- active learning