Sampling methodology for intractable counting problems