2025
Towards Projected and Incremental Pseudo-Boolean Model Counting
AAAI 2025technical
Model counting is a fundamental task that involves determining the number of satisfying assignments to a logical formula, typically in conjunctive normal form (CNF). While CNF model counting has received extensive attention over recent decades, interest in Pseudo-Boolean (PB) model counting is just…