Login / Signup

On-Line Algorithms for Satisfiability Problems with Uncertainty.

Giorgio AusielloRoberto Giaccio
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • satisfiability problem
  • stochastic local search
  • learning algorithm
  • orders of magnitude
  • phase transition
  • optimization problems
  • randomly generated
  • stochastic local search algorithms