Login / Signup
-SAT and the power of two choices.
Will Perkins
Published in:
Random Struct. Algorithms (2015)
Keyphrases
</>
power consumption
sat solvers
information retrieval
max sat
neural network
information systems
special case
phase transition
satisfiability problem
electricity markets
stochastic local search
propositional satisfiability
backtracking search