A Decision Procedure for a Class of Set Constraints (Extended Abstract)

Nevin Heintze Joxan Jaffar

Published in: LICS (1990)

Keyphrases

extended abstract
small number
decision making
decision makers
data sets
probability distribution
simulated annealing
decision rules
decision problems
decision process
linear constraints
function symbols
clustering procedure