Cunjing Ge - RankMe

24 papers A* 3A 4B 1C 1Misc 1Journal 10Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques. CoRR Mingwei Zhang, Zhenhao Gu, Liangda Fang, Cunjing Ge, Ziliang Chen, Zhao-Rong Lai, Quanlong Guan
2025	J	`jnl`	Curriculum Abductive Learning. CoRR Wen-Chao Hu, Qi-Jie Li, Lin-Han Jia, Cunjing Ge, Yufeng Li, Yuan Jiang, Zhi-Hua Zhou
2025	J	`jnl`	SharpSMT: a scalable toolkit for measuring solution spaces of SMT(LA) formulas. Frontiers Comput. Sci. Cunjing Ge
2024	A*	`conf`	Approximate Integer Solution Counts over Linear Arithmetic Constraints. AAAI Cunjing Ge
2024	A	`conf`	Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints. CP Cunjing Ge, Armin Biere
2023	J	`jnl`	Approximate Integer Solution Counts over Linear Arithmetic Constraints. CoRR Cunjing Ge
2021	A*	`conf`	Decomposition Strategies to Count Integer Solutions over Linear Constraints. IJCAI Cunjing Ge, Armin Biere
2021	A	`conf`	Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang
2020	J	`jnl`	Counting the Number of Solutions to Constraints. CoRR Jian Zhang, Cunjing Ge, Feifei Ma
2019	A*	`conf`	Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
2019	—	`conf`	Fair Division Minimizing Inequality. EPIA (2) Martin Aleksandrov, Cunjing Ge, Toby Walsh
2019	B	`conf`	Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
2018	—	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
2018	A	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
2018	C	`conf`	Checking Activity Transition Systems with Back Transitions Against Assertions. ICFEM Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
2018	J	`jnl`	Computing and estimating the volume of the solution space of SMT(LA) constraints. Theor. Comput. Sci. Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang
2018	J	`jnl`	Fair Division Minimizing Inequality. CoRR Martin Aleksandrov, Cunjing Ge, Toby Walsh
2018	A	`conf`	Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
2018	—	`conf`	VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR Cunjing Ge, Feifei Ma, Jian Zhang
2017	J	`jnl`	A New Probabilistic Algorithm for Approximate Model Counting. CoRR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
2015	Misc	`conf`	A Fast and Practical Method to Estimate Volumes of Convex Polytopes. FAW Cunjing Ge, Feifei Ma
2015	J	`jnl`	A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR Cunjing Ge, Feifei Ma, Jian Zhang
2015	—	`conf`	SMT Solving for the Theory of Ordering Constraints. LCPC Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
2014	J	`jnl`	A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR Cunjing Ge, Feifei Ma, Jian Zhang