Constraint Acquisition Based on Solution Counting.

Christopher Coulombe Claude-Guy Quimper

Published in: CP (2022)

Keyphrases

linear equations
closed form
inequality constraints
neural network
artificial intelligence
image processing
expert systems
multi objective
dynamic programming
linear programming
linear constraints
stopping criterion
constrained minimization