Cunjing Ge

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 17

Top Topics

Satisfiability Testing

Linear Constraints

Top Venues

Publications

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