Login / Signup
Improving PPSZ for 3-SAT using Crtitical Variables
Timon Hertli
Robin A. Moser
Dominik Scheder
Published in:
CoRR (2010)
Keyphrases
</>
variable ordering
search algorithm
satisfiability problem
random variables
sat solvers
variable selection
probability distribution
search strategies
propositional satisfiability
artificial neural networks
input variables