On the Satisfiability of Complex Constraints.

Luís Damas Giovanni B. Varile

Published in: COLING (1992)

Keyphrases

physical constraints
real world
constraint satisfaction
computational complexity
higher level
phase transition
constrained optimization
symmetry breaking
satisfiability testing