Login / Signup

Design of a Dependency-Directed Compiler for Constraint Propagation.

Roy Feldman
Published in: IEA/AIE (Vol. 1) (1988)
Keyphrases
  • constraint propagation
  • constraint programming
  • constraint satisfaction
  • temporal constraints
  • constraint satisfaction problems
  • constraint reasoning
  • relational databases
  • constraint solving
  • systematic search