avatar

Cunjing Ge

葛存菁

Postdoc
AI School, Nanjing University
 gecunjing@nju.edu.cn
 Room A513, Shao Yifu Building (逸夫楼), Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing 210023, China


About Me

I am a Postdoc (Yuxiu Young Scholar) in the School of Artificial Intelligence at Nanjing University. I obtained my Bachelor's degree in Computational Mathematics from the University of Science and Technology of China in 2013. In 2019, I received my Ph.D. degree in Computer Software and Theory from the Institution of Software, Chinese Academy of Sciences, advised by Prof. Jian Zhang. From 2019 to 2021, I joined the FMV group, Johannes Kepler Universität Linz, Austria, and worked with Prof. Armin Biere, as a postdoctoral researcher. In 2021, I was selected by Yuxiu Young Scholars Program of Nanjing University, and then joined the School of Artificial Intelligence.

Research Interests

For prospective students: We are currently working on some exiting topics, such as, counting solutions of linear inequalities, reducing the knowledge constraints in ABL, and obtaining explainable and trustworthy AI models by ABL. If you are self-motivated and passionate about these research topics, feel free to contact me via email.

Teaching

Ongoing Projects

Publications

  1. sharpSMT: A Scalable Toolkit for Measuring Solution Spaces of SMT(LA) Formulas.
    Cunjing Ge
    Frontiers of Computer Science (FCS), 2024.
    PDF Code    To appear

  2. Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints
    Cunjing Ge, Armin Biere
    The 30th International Conference on Principles and Practice of Constraint Programming (CP), 2024, Girona, Spain, page. 13:1--13:17.
    PDF Code BibTex

  3. Approximate Integer Solution Counts over Linear Arithmetic Constraints
    Cunjing Ge
    The 38th AAAI Conference on Artificial Intelligence (AAAI), 2024, Vancouver, Canada, page. 8022-8029.
    PDF Code BibTex

  4. Decomposition Strategies to Count Integer Solutions over Linear Constraints
    Cunjing Ge, Armin Biere
    The 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021, Montreal, Canada, page. 1389-1395.
    PDF Code BibTex

  5. Investigating the Existence of Costas Latin Squares via Satisfiability Testing
    Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma and Jian Zhang
    Theory and Applications of Satisfiability Testing (SAT), 2021, Barcelona, Spain, page. 270-279.
    PDF BibTex

  6. Approximating Integer Solution Counting via Space Quantification for Linear Constraints
    Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
    The 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019, Macao, China, page. 1697-1703.
    PDF Code BibTex

  7. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
    Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
    The 2019 on International Symposium on Symbolic and Algebraic Computation (ISSAC), 2019, Beijing, China, page. 203-210.
    PDF BibTex

  8. Fair Division Minimizing Inequality
    Martin Aleksandrov, Cunjing Ge, Toby Walsh
    The 19th EPIA Conference on Artificial Intelligence (EPIA), 2019, Vila Real, Portugal, page. 593-605.
    PDF BibTex

  9. A New Probabilistic Algorithm for Approximate Model Counting
    Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
    Automated Reasoning - 9th International Joint Conference (IJCAR), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, page. 312-328.
    PDF Code BibTex

  10. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
    Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
    Automated Reasoning - 9th International Joint Conference (IJCAR), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, page. 354-369.
    PDF BibTex

  11. Computing and estimating the volume of the solution space of SMT(LA) constraints
    Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang
    Theoretical Computer Science (TCS), 2018, vol. 743, page. 110-129.
    PDF Code BibTex   Journal

  12. Checking Activity Transition Systems with Back Transitions Against Assertions
    Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
    The 20th International Conference on Formal Engineering Methods (ICFEM), 2018, Gold Coast, QLD, Australia, page. 388-403.
    PDF BibTex

  13. SMT Solving for the Theory of Ordering Constraints
    Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
    Languages and Compilers for Parallel Computing - 28th International Workshop (LCPC), 2015, Raleigh, NC, USA, page. 287-302.
    PDF BibTex

  14. A Fast and Practical Method to Estimate Volumes of Convex Polytopes
    Cunjing Ge, Feifei Ma
    Frontiers in Algorithmics - 9th International Workshop (FAW), 2015, Guilin, China, page. 52-65.
    PDF BibTex

Submitting Papers

Academic Services

Program Committee Members

Journal Reviewers