Fast sequential Monte Carlo methods for counting and optimization. ([2014])