Showing 2023Show all
3 papers · 1 filter
cs.AI2023
Engineering an Exact Pseudo-Boolean Model Counter
Suwei Yang, Kuldeep S. Meel
Model counting, a fundamental task in computer science, involves determining the number of satisfying assignments to a Boolean formula, typically represented in conjunctive normal…
cs.LO2023
INC: A Scalable Incremental Weighted Sampler
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
The fundamental problem of weighted sampling involves sampling of satisfying assignments of Boolean formulas, which specify sampling sets, and according to distributions defined by…
cs.LO2023
Scalable Probabilistic Routes
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Inference and prediction of routes have become of interest over the past decade owing to a dramatic increase in package delivery and ride-sharing services. Given the underlying com…