A Fast and Practical Method to Estimate Volumes of Convex Polytopes. - Cunjing Ge; Feifei Ma; Jian Zhang 001 (CoRR, 2014)

A Fast and Practical Method to Estimate Volumes of Convex Polytopes. - Cunjing Ge; Feifei Ma (FAW, 2015)

SMT Solving for the Theory of Ordering Constraints. - Cunjing Ge; Feifei Ma; Jeff Huang 001; Jian Zhang 001 (LCPC, 2015)

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). - Cunjing Ge; Feifei Ma; Jian Zhang 001 (CoRR, 2015)

A New Probabilistic Algorithm for Approximate Model Counting. - Cunjing Ge; Feifei Ma; Tian Liu; Jian Zhang 001 (CoRR, 2017)

VolCE: An Efficient Tool for Solving #SMT(LA) Problems. - Cunjing Ge; Feifei Ma; Jian Zhang 001 (PRUV@IJCAR, 2018)

A New Probabilistic Algorithm for Approximate Model Counting. - Cunjing Ge; Feifei Ma; Tian Liu; Jian Zhang 001; Xutong Ma (PRUV@IJCAR, 2018)

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. - Pei Huang 002; Feifei Ma; Cunjing Ge; Jian Zhang 001; Hantao Zhang 001 (IJCAR, 2018)

Checking Activity Transition Systems with Back Transitions Against Assertions. - Cunjing Ge; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (ICFEM, 2018)

Computing and estimating the volume of the solution space of SMT(LA) constraints. - Cunjing Ge; Feifei Ma; Peng Zhang 008; Jian Zhang 001 (Theor. Comput. Sci., 2018)

Fair Division Minimizing Inequality. - Martin Aleksandrov; Cunjing Ge; Toby Walsh (EPIA (2), 2019)

Approximating Integer Solution Counting via Space Quantification for Linear Constraints. - Cunjing Ge; Feifei Ma; Xutong Ma; Fan Zhang; Pei Huang 002; Jian Zhang 001 (IJCAI, 2019)

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. - Pei Huang 002; Minghao Liu 001; Cunjing Ge; Feifei Ma; Jian Zhang 001 (ISSAC, 2019)

Counting the Number of Solutions to Constraints. - Jian Zhang 001; Cunjing Ge; Feifei Ma (CoRR, 2020)

Decomposition Strategies to Count Integer Solutions over Linear Constraints. - Cunjing Ge; Armin Biere (IJCAI, 2021)

Investigating the Existence of Costas Latin Squares via Satisfiability Testing. - Jiwei Jin; Yiqi Lv; Cunjing Ge; Feifei Ma; Jian Zhang 001 (SAT, 2021)

Approximate Integer Solution Counts over Linear Arithmetic Constraints. - Cunjing Ge (AAAI, 2024)

Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints. - Cunjing Ge; Armin Biere (CP, 2024)

Curriculum Abductive Learning. - Wen-Chao Hu; Qi-Jie Li; Lin-Han Jia; Cunjing Ge; Yufeng Li 008; Yuan Jiang 001; Zhi-Hua Zhou (CoRR, 2025)

SharpSMT: a scalable toolkit for measuring solution spaces of SMT(LA) formulas. - Cunjing Ge (Frontiers Comput. Sci., 2025)