Cunjing Ge
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Investigating the existence of Costas Latin squares via satisfiability testing | 2022-03-22 | Paper |
| Investigating the existence of orthogonal golf designs via satisfiability testing Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| A new probabilistic algorithm for approximate model counting (available as arXiv preprint) | 2018-10-18 | Paper |
| Investigating the existence of large sets of idempotent quasigroups via satisfiability testing | 2018-10-18 | Paper |
| Computing and estimating the volume of the solution space of SMT(LA) constraints Theoretical Computer Science | 2018-08-23 | Paper |
| A Fast and Practical Method to Estimate Volumes of Convex Polytopes Frontiers in Algorithmics | 2015-11-12 | Paper |
Research outcomes over time
This page was built for person: Cunjing Ge
