Login / Signup

On the Power of Clause-Learning SAT Solvers with Restarts.

Knot PipatsrisawatAdnan Darwiche
Published in: CP (2009)
Keyphrases
  • sat solvers
  • clause learning sat solvers
  • power consumption
  • random walk
  • computational power
  • neural network
  • genetic algorithm
  • reinforcement learning
  • probabilistic model
  • search problems