Biased random k-SAT.

Joel Larsson Klas Markström

Published in: Random Struct. Algorithms (2021)

Keyphrases

sat solvers
propositional satisfiability
sat problem
randomly generated
phase transition
boolean satisfiability
sat solving
neural network
uniformly distributed
state space
stochastic local search
stochastic local search algorithms