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

Mohammad Mahmoody David Xiao

Published in: Computational Complexity Conference (2010)

Keyphrases

power consumption
search algorithm
search strategies
satisfiability problem
sat solving
neural network
data mining
np hard
state space
phase transition
sat instances
propositional satisfiability
power distribution