2 papers
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…