Decidable linear list constraints.

Sabine Bauer Martin Hofmann

Published in: LPAR (2017)

Keyphrases

linear constraints
linear inequalities
constraint programming
genetic algorithm
constrained optimization
resource constraints
closed form solutions
datalog queries
database
data sets
data structure
special case
cardinality constraints
equality constraints
chance constraints