On Solving the Partial MAX-SAT Problem.

Zhaohui Fu Sharad Malik

Published in: SAT (2006)

Keyphrases

combinatorial optimization
data sets
computer vision
dynamic programming
solving problems
weighted max sat
data mining
machine learning
learning algorithm
optimal solution
multi agent systems