A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
2009 ◽
pp. 446-461
◽