optsat: A Tool for Solving SAT Related Optimization Problems.

Enrico Giunchiglia Marco Maratea

Published in: JELIA (2006)

Keyphrases

optimization problems
combinatorial optimization
evolutionary algorithm
cost function
continuous optimization problems
optimization methods
nonlinear programming
data sets
objective function
heuristic search
traveling salesman problem
sat solving
satisfiability problem
constrained problems