Guarantees and limits of preprocessing in constraint satisfaction and reasoning.
Serge GaspersStefan SzeiderPublished in: Artif. Intell. (2014)
Keyphrases
- constraint satisfaction
- preprocessing
- probabilistic reasoning
- constraint satisfaction problems
- heuristic search
- phase transition
- constraint programming
- knowledge base
- relaxation labeling
- constraint propagation
- distributed constraint satisfaction
- automated reasoning
- feature extraction
- russian doll search
- arc consistency
- soft constraints
- product configuration
- sat solvers
- constraint networks
- search strategies
- cost function
- expert systems
- computational complexity
- backtracking algorithms
- robust fault detection
- search algorithm