Anfonwch hwn fel neges destun: Fast sequential Monte Carlo methods for counting and optimization /