Constraint Satisfaction with Counting Quantifiers.
Barnaby MartinFlorent R. MadelaineJuraj StachoPublished in: SIAM J. Discret. Math. (2015)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- heuristic search
- probabilistic reasoning
- phase transition
- constraint programming
- constrained problems
- constraint propagation
- constraint relaxation
- arc consistency
- russian doll search
- product configuration
- constraint solving
- soft constraints
- constraint networks
- search space
- neural network
- industrial applications
- sat solvers
- orders of magnitude
- constraint problems
- evolutionary algorithm
- forward checking
- constraint optimization