Fast sampling and counting k-SAT solutions in the local lemma regime.
Weiming FengHeng GuoYitong YinChihao ZhangPublished in: CoRR (2019)
Keyphrases
- stochastic local search algorithms
- search algorithm
- monte carlo
- search procedures
- genetic algorithm
- data sets
- sample size
- search methods
- satisfiability problem
- random sampling
- model counting
- sampling strategy
- sampled data
- combinatorial problems
- randomly generated
- search strategies
- parameter space
- feasible solution
- decision problems
- learning algorithm