A Constraint Satisfaction Approach to a Circuit Design Problem.
Jean-François PugetPascal Van HentenryckPublished in: J. Glob. Optim. (1998)
Keyphrases
- constraint satisfaction
- circuit design
- constraint satisfaction problems
- heuristic search
- phase transition
- constraint programming
- constraint propagation
- digital circuits
- design automation
- arc consistency
- constraint relaxation
- product configuration
- relaxation labeling
- russian doll search
- robust fault detection
- probabilistic reasoning
- constraint solving
- combinatorial problems
- neural network
- soft constraints
- sat solvers
- search algorithm
- constraint networks
- backtrack search
- state space
- bayesian networks