Cunjing Ge

According to our database, Cunjing Ge authored at least 17 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Approximate Integer Solution Counts over Linear Arithmetic Constraints.

Cunjing Ge

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Decomposition Strategies to Count Integer Solutions over Linear Constraints.

Cunjing Ge, Armin Biere

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Counting the Number of Solutions to Constraints.

Jian Zhang, Cunjing Ge, Feifei Ma

CoRR, 2020

2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Fair Division Minimizing Inequality.

Martin Aleksandrov, Cunjing Ge, Toby Walsh

Proceedings of the Progress in Artificial Intelligence, 2019

2018

Computing and estimating the volume of the solution space of SMT(LA) constraints.

Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang

Theor. Comput. Sci., 2018

Checking Activity Transition Systems with Back Transitions Against Assertions.

Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the Formal Methods and Software Engineering, 2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

VolCE: An Efficient Tool for Solving #SMT(LA) Problems.

Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

2017

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang

CoRR, 2017

2015

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2015

SMT Solving for the Theory of Ordering Constraints.

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang

Proceedings of the Languages and Compilers for Parallel Computing, 2015

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.

Cunjing Ge, Feifei Ma

Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015

2014

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2014