Fast and flexible probabilistic model counting

DOI10.1007/978-3-319-94144-8_10OpenAlexW2809736733MaRDI QIDQ1656574

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_10

Mathematics Subject Classification ID

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

Related Items (1)

Definability for model counting

This page was built for publication: Fast and flexible probabilistic model counting