Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning.
Serge GaspersStefan SzeiderPublished in: CoRR (2014)
Keyphrases
- constraint satisfaction
- preprocessing
- probabilistic reasoning
- constraint satisfaction problems
- constraint propagation
- phase transition
- russian doll search
- constraint programming
- constraint relaxation
- distributed constraint satisfaction
- relaxation labeling
- combinatorial problems
- knowledge base
- heuristic search
- robust fault detection
- automated reasoning
- feature extraction
- arc consistency
- constraint networks
- sat solvers
- constraint solving
- constraint optimization
- knowledge representation
- bayesian networks
- soft constraints
- search strategies
- product configuration
- constrained problems
- search space
- evolutionary algorithm
- neural network