A New Algorithm for the Propositional Satisfiability Problem.

Giorgio Gallo Daniele Pretolani

Published in: Discret. Appl. Math. (1995)

Keyphrases

satisfiability problem
objective function
computational complexity
search algorithm
optimal solution
dynamic programming
stochastic local search algorithms
search space
evolutionary algorithm
np hard
simulated annealing
cellular automata
branch and bound
randomly generated