Automating the Construction of Patchers That Satisfy Global Constraints.

Kerstin Voigt Chris Tong

Published in: IJCAI (1989)

Keyphrases

global constraints
constraint programming
boolean constraints
weighted constraint satisfaction
arc consistency
boltzmann machine
constraint satisfaction problems
symmetry breaking
integer programming
temporal reasoning