On the sparsity of XORs in approximate model counting

DOI10.1007/978-3-030-51825-7_18OpenAlexW3040656505MaRDI QIDQ2661352

Kuldeep S. Meel, Bhavishya, Durgesh Agrawal

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_18

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (2)

SparseCount2 ⋮ ApproxMC3

This page was built for publication: On the sparsity of XORs in approximate model counting