Cunjing Ge
Orcid: 0000-0002-8249-1397
According to our database1,
Cunjing Ge
authored at least 19 papers
between 2014 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
1
2
2
3
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Frontiers Comput. Sci., August, 2025
2024
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
2019
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Progress in Artificial Intelligence, 2019
2018
Theor. Comput. Sci., 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018
2017
2015
CoRR, 2015
Proceedings of the Languages and Compilers for Parallel Computing, 2015
Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015
2014