SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.

Maja Aaslyng Dall, Ral Pardo, Thomas Lumley, Andrzej Wasowski

Browse the full SAT paper archive.