Cunjing Ge

3 papers · 2019–2024 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (9) 🌉 Interdisciplinary Bridge 🏆 Keyword Champion (2)

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Xutong Ma (1) Armin Biere (1) Feifei Ma (1) Pei Huang (1) Jian Zhang (1) Fan Zhang (1)

Keywords

integer solution (2) linear constraint (2) approximation algorithm (2) solution counting (1) polytope counting (1) decomposition algorithm (1) random walk sampling (1) integer counting (1) variable elimination (1) lattice point counting (1) integer programming (1) volume computation (1)

Papers

Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024

Decomposition Strategies to Count Integer Solutions over Linear Constraints IJCAI 2021

Approximating Integer Solution Counting via Space Quantification for Linear Constraints IJCAI 2019