Yong Lai

On Top-Down Pseudo-Boolean Model Counting

2025 · arXiv (Cornell University)

Pseudo-Boolean model counting involves computing the number of satisfying assignments of a given pseudo-Boolean (PB) formula. In recent years, PB model counting has seen increased interest partly owing to the succinctness of PB formulas over …