Author Info
Name
Affiliation
Papers
CUNJING GE
Chinese Academy of Sciences
6
Collaborators
Citations 
PageRank 
13
3
2.12
Referers 
Referees 
References 
12
228
97
Search Limit
100228
Title
Citations
PageRank
Year
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing00.342019
Computing and estimating the volume of the solution space of SMT(LA) constraints.20.402018
Checking Activity Transition Systems With Back Transitions Against Assertions00.342018
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.00.342018
A New Probabilistic Algorithm for Approximate Model Counting.00.342018
A Fast and Practical Method to Estimate Volumes of Convex Polytopes.10.372014