Towards Efficient Sampling: Exploiting Random Walk Strategies

1
Towards Efficient Sampling Exploiting Random
Walk Strategies Wei Wei, Jordan Erenrich,
and Bart Selman
Goal To sample from the solution space of a cnf
formula uniformly.
Conventional method MCMC Our Approach Random Walk
speed SLOW FAST
uniformity YES POOR
practical for real-world formulas? NO YES, if uniformity is improved
How to improve uniformity? We use a hybrid of
RW-style algorithm and Simulated Annealing
?
ADD SA MOVES
bands ? clusters
?