| No. |
Title |
Author |
Year |
| 1 |
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization |
Zhou, Wenbo et al. |
2023 |
| 2 |
Navigation in Complex Space: An Bayesian Nash Equilibrium-Informed Agent-Based Model (Short Paper) |
Wang, Yiyu et al. |
2023 |
| 3 |
ParGeo: A Library for Parallel Computational Geometry |
Wang, Yiqiu et al. |
2022 |
| 4 |
PEDroid: Automatically Extracting Patches from Android App Updates |
Li, Hehao et al. |
2022 |
| 5 |
PEDroid: Automatically Extracting Patches from Android App Updates (Artifact) |
Li, Hehao et al. |
2022 |
| 6 |
A General Framework for Enumerating Equivalence Classes of Solutions |
Wang, Yishu et al. |
2021 |
| 7 |
A Parallel Batch-Dynamic Data Structure for the Closest Pair Problem |
Wang, Yiqiu et al. |
2021 |
| 8 |
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search |
Li, Bohan et al. |
2021 |
| 9 |
Making Sense of a Cophylogeny Output: Efficient Listing of Representative Reconciliations |
Wang, Yishu et al. |
2021 |
| 10 |
Topologically Trivial Closed Walks in Directed Surface Graphs |
Erickson, Jeff et al. |
2019 |
| 11 |
Probabilistic Action Language pBC+ |
Wang, Yi |
2018 |
