The Power of Choice for Random Satisfiability.

Varsha Dani Josep Díaz Thomas P. Hayes Cristopher Moore

Published in: APPROX-RANDOM (2013)

Keyphrases

power consumption
computational complexity
satisfiability problem
np complete
propositional logic
randomly generated
phase transition
uniformly distributed
sat problem
data sets
artificial intelligence
evolutionary algorithm
query language
expressive power
power distribution