Fast sampling of perfectly uniform satisfying assignments

DOI10.1007/978-3-319-94144-8_9OpenAlexW2810413193MaRDI QIDQ1656573

Zayd S. Hammoudeh, Panos Theodoropoulos, Demetrios Achlioptas

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_9

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

SMT sampling via model-guided approximation

This page was built for publication: Fast sampling of perfectly uniform satisfying assignments