葛存菁
组内经历
2019 年毕业
博士
论文
2021
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021CCF BJiwei 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 2018CCF BCunjing 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（与 IJCAR 同期同地举办）Cunjing GeFeifei MaJian Zhang
2016
SMT Solving for the Theory of Ordering Constraints
LCPC 2015Cunjing GeFeifei MaJeff HuangJian Zhang
2015
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。