Constraint Satisfaction with Counting Quantifiers.
Florent R. MadelaineBarnaby MartinJuraj StachoPublished in: CSR (2012)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint programming
- constraint relaxation
- probabilistic reasoning
- relaxation labeling
- phase transition
- arc consistency
- constraint propagation
- product configuration
- soft constraints
- combinatorial problems
- constraint solving
- first order logic
- russian doll search
- constrained problems
- robust fault detection
- sat solvers
- search strategies
- constraint problems
- fuzzy logic
- configuration problems
- dynamic programming
- search space
- neural network