Login / Signup
Simpler Partial Derandomization of PPSZ for $k$-SAT.
S. Cliff Liu
Published in:
CoRR (2020)
Keyphrases
</>
satisfiability problem
search algorithm
sat solvers
sat problem
boolean satisfiability
phase transition
propositional satisfiability
stochastic local search algorithms
databases
search strategies
partial information
max sat
stochastic local search
information retrieval
heuristic search
propositional logic