From Boolean Equalities to Constraints.

Sergio Antoy Michael Hanus

Published in: LOPSTR (2015)

Keyphrases

linear inequalities
data sets
real valued
constrained optimization
real world
genetic algorithm
social networks
e learning
image segmentation