Stochastic Local Search for Incremental SAT and Incremental MAX-SAT.

Malek Mouhoub Changhai Wang

Published in: KES (2004)

Keyphrases

max sat
stochastic local search
sat problem
satisfiability problem
sat solvers
random sat instances
lower bound
weighted max sat
search algorithm

tabu search
branch and bound algorithm
branch and bound
graph coloring
solving hard
propositional satisfiability
phase transition
boolean satisfiability
maximum satisfiability

linear programming
sat instances
constraint satisfaction problems
temporal logic
unit propagation
upper bound
max sat solver
neural network

randomly generated
inference rules
constraint satisfaction
heuristic search
np complete
simulated annealing
scheduling problem
genetic algorithm