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 |
| Investigating the existence of large sets of idempotent quasigroups via satisfiability testing | 2018-10-18 | Paper |
| A new probabilistic algorithm for approximate model counting (available as arXiv preprint) | 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
