QMaxSAT: A Partial Max-SAT Solver.

Miyuki Koshimura Tong Zhang Hiroshi Fujita Ryuzo Hasegawa

Published in: J. Satisf. Boolean Model. Comput. (2012)

Keyphrases

max sat solver
database
artificial intelligence
partial information
max sat
data sets
knowledge base
bayesian networks
reinforcement learning
cost function
sat solvers