Fast sampling of satisfying assignments from random k-SAT.
Andreas GalanisLeslie Ann GoldbergHeng GuoAndrés Herrera-PoyatosPublished in: CoRR (2022)
Keyphrases
- sampled data
- search algorithm
- satisfiability problem
- random samples
- random sample
- stochastic local search
- random sampling
- stochastic local search algorithms
- propositional satisfiability
- sampling methods
- sat solvers
- phase transition
- parameter space
- monte carlo
- uniformly distributed
- max sat
- randomly generated
- sampling strategy
- boolean satisfiability
- active learning
- neural network