Scholar
Cunjing Ge
Google Scholar ID: 4ZAsaUwAAAAJ
Institute for Formal Models and Verification, JKU
Model Counting
Satisfiability Modulo Theories
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
111
H-index
6
i10-index
6
Publications
20
Co-authors
0
Publications
2 items
An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
2025
Cited
0
Curriculum Abductive Learning
2025
Cited
0
