conftrace_

projected model counting

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

pseudo-boolean model counting (1) conjunctive normal form (1) incremental model counting (1) enumeration algorithm (1) maximal satisfiable subset (1) disjunctive decomposition (1) incremental counting (1) variable ordering heuristic (1) model counting (1) propositional formula (1)

Papers

Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Counting Maximal Satisfiable Subsets AAAI 2021 A Recursive Algorithm for Projected Model Counting AAAI 2019