Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms.

Christoph M. Hoffmann Andrew Lomonosov Meera Sitharam

Published in: J. Symb. Comput. (2001)

Keyphrases

constraint problems
learning algorithm
data structure
search algorithm
computational complexity
expert systems
randomly generated
fuzzy logic
optimization problems
qualitative and quantitative
decomposition algorithm