| 2024 | AAAI | Approximate Integer Solution Counts over Linear Arithmetic Constraints. | Cunjing Ge |
| 2024 | CP | Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints. | Cunjing Ge, Armin Biere |
| 2021 | IJCAI | Decomposition Strategies to Count Integer Solutions over Linear Constraints. | Cunjing Ge, Armin Biere |
| 2021 | SAT | Investigating the Existence of Costas Latin Squares via Satisfiability Testing. | Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2019 | EPIA | Fair Division Minimizing Inequality. | Martin Aleksandrov, Cunjing Ge, Toby Walsh |
| 2019 | IJCAI | Approximating Integer Solution Counting via Space Quantification for Linear Constraints. | Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang |
| 2019 | ISSAC | Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. | Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2018 | CADE | VolCE: An Efficient Tool for Solving #SMT(LA) Problems. | Cunjing Ge, Feifei Ma, Jian Zhang |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
| 2018 | CADE | Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. | Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang |
| 2018 | ICFEM | Checking Activity Transition Systems with Back Transitions Against Assertions. | Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang |
| 2015 | FAW | A Fast and Practical Method to Estimate Volumes of Convex Polytopes. | Cunjing Ge, Feifei Ma |