Fast Sequential Monte Carlo Methods for Counting and Optimization | 9781118612262 | Memmo