Quantified Constraints and Containment Problems.

Hubie Chen Florent R. Madelaine Barnaby Martin

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

databases
genetic algorithm
constrained problems
database
data sets
case study
special case
linear programming
np complete
benchmark problems
geometric constraints
constrained optimization
problems involving
resource constraints
optimality conditions