Fast sequential Monte Carlo methods for counting and optimization - Rubinstein, Reuven Y. (John Wiley & Sons, Inc., 2013)