Researcher profile

Yong Lai

1 paper in the PaperMetrix corpus

Publications

Papers by this author

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 …