An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.

Khalil Djelloul

Published in: CSCLP (2008)

Keyphrases

decision theory
np complete
linear constraints
mixed integer program
decision making
influence diagrams
geometric constraints
decision variables
data sets
databases
data mining
genetic algorithm
image segmentation
probabilistic model
decision rules