Cunjing Ge

Available identifiers

zbMath Open ge.cunjingMaRDI QIDQ1659992

List of research outcomes

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	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	2018-10-18	Paper
Computing and estimating the volume of the solution space of SMT(LA) constraints	2018-08-23	Paper
A Fast and Practical Method to Estimate Volumes of Convex Polytopes	2015-11-12	Paper

Research outcomes over time

This page was built for person: Cunjing Ge