On-Line Algorithms for Polynomially Solvable Satisfiability Problems.

Giorgio Ausiello Giuseppe F. Italiano

Published in: J. Log. Program. (1991)

Keyphrases

satisfiability problem
np complete
learning algorithm
orders of magnitude
phase transition
stochastic local search algorithms
stochastic local search
optimal solution
computational complexity
special case
np hard
solving hard