Login / Signup
Random k-SAT and the Power of Two Choices
Will Perkins
Published in:
CoRR (2012)
Keyphrases
</>
power consumption
uniformly distributed
phase transition
sat solvers
randomly generated
neural network
max sat
database
knowledge base
case study
satisfiability problem
search problems
propositional satisfiability
sat solving
satisfiability testing