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

Nathan Kitchen, Andreas Kuehlmann (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics