conftrace_
← Authors

Cunjing Ge

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

Achievements

Jump to papers ↓
+1 more ↓ 🧭 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