Login / Signup
Satisfiability and Algorithms for Non-uniform Random k-SAT.
Oleksii Omelchenko
Andrei Bulatov
Published in:
AAAI (2021)
Keyphrases
</>
satisfiability problem
computational complexity
orders of magnitude
stochastic local search
learning algorithm
data structure
significant improvement
search strategies
sat problem
propositional satisfiability
computational cost
theoretical analysis
sat solvers