Formally Verified Transformation of Non-binary Constraints into Binary Constraints.
Catherine DuboisPublished in: WFLP (2020)
Keyphrases
- non binary
- binary constraints
- constraint satisfaction problems
- arc consistency
- constraint networks
- disjunctive constraints
- binary representation
- constraint propagation
- soft constraints
- frequent pattern mining
- constraint satisfaction
- generalized arc consistency
- global constraints
- data mining
- multi dimensional
- parameter estimation