On the Power of Randomized Reductions and the Checkability of SAT.

Mohammad Mahmoody David Xiao

Published in: Electron. Colloquium Comput. Complex. (2009)

Keyphrases

power consumption
satisfiability problem
search algorithm
sat solvers
boolean satisfiability
power distribution
real time
genetic algorithm
np complete
orders of magnitude
search strategies
phase transition
sat problem
stochastic local search