Module Selection in Microarchitectural Synthesis for Multiple Critical Constraint Satisfaction.
Ian G. HarrisAlex OrailogluPublished in: VLSI Design (1997)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- phase transition
- constraint programming
- constraint propagation
- probabilistic reasoning
- constraint solving
- combinatorial problems
- constraint relaxation
- relaxation labeling
- constrained problems
- product configuration
- constraint networks
- robust fault detection
- backtrack search
- russian doll search
- constraint solver
- qualitative and quantitative
- constraint optimization
- sat problem
- evolutionary algorithm