Login / Signup
Design as Refinement Plus Constraint Propagation: The VEXED Experience.
Louis I. Steinberg
Published in:
AAAI (1987)
Keyphrases
</>
constraint propagation
constraint satisfaction problems
constraint reasoning
constraint satisfaction
temporal constraints
constraint solving
quantifier elimination
search space
design process
constraint programming
arc consistency
russian doll search
database
optimal solution
tree search
constrained problems