Fast Sequential Monte Carlo Methods for Counting and Optimization | lit.salon