-complete decision procedure for non-linear constraints.

Franz Brauße Konstantin Korovin Margarita V. Korovina Norbert Th. Müller

Published in: Theor. Comput. Sci. (2023)

Keyphrases

decision making
decision makers
resource constraints
constraint satisfaction
learning algorithm
computer vision
database
constraint programming
decision variables
iterative procedure
constrained optimization
geometric constraints
decision problems
decision rules
np hard
bayesian networks
image segmentation