New local search methods for partial MaxSAT.

Shaowei Cai Chuan Luo Jinkun Lin Kaile Su

Published in: Artif. Intell. (2016)

Keyphrases

sat problem
upper bound
memetic algorithm
combinatorial optimization
sat solvers
hill climbing
neural network
information retrieval
data structure
hidden markov models
search methods
search strategy
satisfiability problem