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