Solving Optimization Problems with DLL.

Enrico Giunchiglia Marco Maratea

Published in: ECAI (2006)

Keyphrases

solving optimization problems
optimization problems
knowledge sources
max sat
propositional satisfiability
special case
data sets
neural network
reinforcement learning
sufficient conditions