Consistent Neighborhood for the Satisfiability Problem.

Djamal Habet Lionel Paris Belaid Benhamou

Published in: ICTAI (2) (2007)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
stochastic local search
solving hard
decision procedures
stochastic local search algorithms
pspace complete
sat instances
reinforcement learning
relational databases
max sat
conjunctive normal form