Searching a Multivariate Partition Space Using MAX-SAT.

Silvia Liverani James Cussens Jim Q. Smith

Published in: CIBB (2009)

Keyphrases

max sat
tabu search
weighted max sat
satisfiability problem
sat problem
sat solvers
lower bound
search space
search strategies
search algorithm
genetic algorithm
neural network
np complete
special case
optimal solution
stochastic local search
cnf formula
variable ordering