SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. - Maja Aaslyng Dall; Raúl Pardo; Thomas Lumley; Andrzej Wasowski (SAT, 2025)