Counting by Statistics on Search Trees: Application to Constraint Satisfaction Problems.
Olivier BailleuxJean-Jacques ChabrierPublished in: Intell. Data Anal. (1997)
Keyphrases
- constraint satisfaction problems
- search tree
- constraint satisfaction
- search space
- constraint programming
- symmetry breaking
- backtracking algorithm
- non binary
- constraint propagation
- constraint networks
- np complete
- soft constraints
- global constraints
- combinatorial problems
- sat problem
- tree search
- np hard
- constraint problems
- computational complexity