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

Maja Aaslyng Dall; Raúl Pardo; Thomas Lumley; Andrzej Wasowski

doi:10.4230/LIPICS.SAT.2025.12

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

Maja Aaslyng Dall
, Raúl Pardo
, Thomas Lumley
, Andrzej Wasowski

The University of Auckland

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
Volume	341
Publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publication date	2025
Pages	12:1-12:18
DOIs	https://doi.org/10.4230/LIPICS.SAT.2025.12
Publication status	Published - 2025

Keywords

Probabilistic inference
Markov Chain Monte Carlo
SAT/SMT sampling,

Access to Document

10.4230/LIPICS.SAT.2025.12Licence: CC BY

https://dblp.org/rec/conf/sat/DallPLW25

Cite this

@inproceedings{b45d14b1476f4cd098ff32b000cca37e,

title = "SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.",

keywords = "Probabilistic inference, Markov Chain Monte Carlo, SAT/SMT sampling,",

author = "Dall, \{Maja Aaslyng\} and Ra{\'u}l Pardo and Thomas Lumley and Andrzej Wasowski",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2025",

doi = "10.4230/LIPICS.SAT.2025.12",

language = "English",

volume = "341",

pages = "12:1--12:18",

booktitle = "28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH",

}

SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. / Dall, Maja Aaslyng; Pardo, Raúl; Lumley, Thomas et al.
28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) . Vol. 341 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2025. p. 12:1-12:18.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Dall, Maja Aaslyng

AU - Pardo, Raúl

AU - Lumley, Thomas

AU - Wasowski, Andrzej

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2025

Y1 - 2025

KW - Probabilistic inference

KW - Markov Chain Monte Carlo

KW - SAT/SMT sampling,

U2 - 10.4230/LIPICS.SAT.2025.12

DO - 10.4230/LIPICS.SAT.2025.12

M3 - Article in proceedings

VL - 341

SP - 12:1-12:18

BT - 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

ER -