Unsatisfiability-based optimization in clasp.

Benjamin Andres Benjamin Kaufmann Oliver Matheis Torsten Schaub

Published in: ICLP (Technical Communications) (2012)

Keyphrases

optimization problems
optimization algorithm
data sets
optimization method
clustering algorithm
optimal solution
optimization process
constrained optimization
evolution strategy
optimal design
semidefinite programming