1 citations · 1 across the 5 of their papers we have counts for
6 papers
On Top-Down Pseudo-Boolean Model Counting
Suwei Yang, Yong Lai, Kuldeep S. Meel
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…
Towards Projected and Incremental Pseudo-Boolean Model Counting
Suwei Yang, Kuldeep S. Meel
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 mode…
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…
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…
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…
Predicting Forest Fire Using Remote Sensing Data And Machine Learning
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Over the last few decades, deforestation and climate change have caused increasing number of forest fires. In Southeast Asia, Indonesia has been the most affected country by tropic…