`Collaborated with:`

F.Ma J.Z.0001 T.Liu X.Ma P.H.0002 H.Zhang

`Talks about:`

probabilist (1) quasigroup (1) algorithm (1) investig (1) approxim (1) satisfi (1) idempot (1) model (1) exist (1) count (1)

## Person: Cunjing Ge

### DBLP: Ge:Cunjing

### Contributed to:

### Wrote 2 papers:

- IJCAR-2018-GeMLZM #algorithm #approximate #probability
- A New Probabilistic Algorithm for Approximate Model Counting (CG, FM, TL, JZ0, XM), pp. 312–328.
- IJCAR-2018-HuangMGZZ #satisfiability #scalability #testing
- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.