A decision procedure for a decidable fragment of generalized constraint diagrams.

Jim Burton Gem Stapleton Ali Hamie

Published in: J. Vis. Lang. Comput. (2011)

Keyphrases

newly defined
decision making
decision makers
linear constraints
search procedure
graphical representation
automata theoretic
decision rules
iterative procedure
decision processes