A new probabilistic algorithm for approximate model counting

DOI10.1007/978-3-319-94205-6_21OpenAlexW2625829001MaRDI QIDQ1799093

Cunjing Ge, Jian Zhang, Tian Liu, Xutong Ma, Feifei Ma

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1706.03906

Mathematics Subject Classification ID

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

Uses Software

• Boolector

This page was built for publication: A new probabilistic algorithm for approximate model counting