A fast and practical method to estimate volumes of convex polytopes C Ge, F Ma Frontiers in Algorithmics: 9th International Workshop, FAW 2015, Guilin …, 2015 | 33 | 2015 |
Computing and estimating the volume of the solution space of SMT (LA) constraints C Ge, F Ma, P Zhang, J Zhang Theoretical Computer Science 743, 110-129, 2018 | 11 | 2018 |
Investigating the existence of orthogonal golf designs via satisfiability testing P Huang, M Liu, C Ge, F Ma, J Zhang Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 8 | 2019 |
Fair division minimizing inequality M Aleksandrov, C Ge, T Walsh Progress in Artificial Intelligence: 19th EPIA Conference on Artificial …, 2019 | 8 | 2019 |
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. C Ge, F Ma, X Ma, F Zhang, P Huang, J Zhang IJCAI, 1697-1703, 2019 | 6 | 2019 |
A new probabilistic algorithm for approximate model counting C Ge, F Ma, T Liu, J Zhang, X Ma Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 6 | 2018 |
Investigating the existence of large sets of idempotent quasigroups via satisfiability testing P Huang, F Ma, C Ge, J Zhang, H Zhang International Joint Conference on Automated Reasoning, 354-369, 2018 | 5 | 2018 |
SMT solving for the theory of ordering constraints C Ge, F Ma, J Huang, J Zhang Languages and Compilers for Parallel Computing, 287-302, 2015 | 5 | 2015 |
Decomposition Strategies to Count Integer Solutions over Linear Constraints. C Ge, A Biere IJCAI, 1389-1395, 2021 | 4 | 2021 |
Investigating the existence of costas latin squares via satisfiability testing J Jin, Y Lv, C Ge, F Ma, J Zhang Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 2 | 2021 |
Approximate Integer Solution Counts over Linear Arithmetic Constraints C Ge Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8022-8029, 2024 | | 2024 |
Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020 S Möhle, C Ge, A Biere | | 2021 |
Counting the Number of Solutions to Constraints J Zhang, C Ge, F Ma arXiv preprint arXiv:2012.14366, 2020 | | 2020 |
Checking Activity Transition Systems with Back Transitions Against Assertions C Ge, J Yan, J Yan, J Zhang International Conference on Formal Engineering Methods, 388-403, 2018 | | 2018 |
A Tool for Computing and Estimating the Volume of the Solution Space of SMT (LA) C Ge, F Ma, J Zhang arXiv preprint arXiv:1507.00142, 2015 | | 2015 |
VolCE v1. 0.1 C Ge, F Ma, J Zhang | | 2015 |
ISMT for SMT COMP 2023 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang | | |
Yices-ismt for SMT COMP 2022 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang | | |
A New Probabilistic Algorithm for Approximate Model Counting and Extensions for Numeric Domains C Ge, F Ma, T Liu, J Zhang, X Ma | | |