A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints.

Nathan Kitchen, Andreas Kuehlmann

Browse the full CAV paper archive.