Login / Signup
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