Improved Exact Solver for the Weighted MAX-SAT Problem.

Published in: POS@SAT (2010)

Keyphrases

weighted max sat
image processing
max sat
data mining
artificial intelligence
database systems
image sequences
association rules
upper bound
brute force