[  19 | 18 | 16 ]

2019

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

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI 2019: 1697-1703

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC 2019: 203-210

2018

Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang Computing and estimating the volume of the solution space of SMT(LA) constraints. Theor. Comput. Sci. 743: 110-129 (2018)

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. IJCAR 2018: 312-328

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR 2018: 354-369

Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang Checking Activity Transition Systems with Back Transitions Against Assertions. ICFEM 2018: 388-403

2015

Cunjing Ge, Feifei Ma A Fast and Practical Method to Estimate Volumes of Convex Polytopes. FAW 2015: 52-65

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang SMT Solving for the Theory of Ordering Constraints. LCPC 2015: 287-302