Sequential Monte Carlo on Large Binary Sampling Spaces | AMiner