SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.
- Maja Aaslyng Dall,
- ,
- Thomas Lumley,
- ,
- ,
- The University of Auckland,
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 12:1-12:18Publication milestones
- Published - 2025
Publication status
Published - 2025
Volume
341Publisher
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbHPublication IDs
- Scopus: 105013080730
Host publication title
28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) Access to documents
Related Event
Title
International Conference on Theory and Applications of Satisfiability Testing
Event type
ConferenceDegree of recognition
International eventDate
12/08/2025 - 15/08/2025Location
University of GlasgowGlasgowUnited Kingdom