Cunjing Ge
Group Experience
Graduated 2019
PhD
Publications
10 publications
Clear all filtersNo publications found
2021
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021Jiwei JinYiqi LvCunjing GeFeifei MaJian Zhang
2019
2018
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing GeFeifei MaTian LiuJian ZhangXutong MaComputing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018Cunjing GeFeifei MaPeng ZhangJian ZhangInvestigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei MaCunjing GeJian ZhangHantao ZhangVolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018 (co-located with IJCAR)Cunjing GeFeifei MaJian Zhang
2016
SMT Solving for the Theory of Ordering Constraints
LCPC 2015Cunjing GeFeifei MaJeff HuangJian Zhang