no code implementations • 14 Dec 2023 • Cunjing Ge
Counting integer solutions of linear constraints has found interesting applications in various fields.
no code implementations • 28 Dec 2020 • Jian Zhang, Cunjing Ge, Feifei Ma
Compared with constraint satisfaction problems, counting problems have received less attention.
no code implementations • 13 Jun 2017 • Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
Constrained counting is important in domains ranging from artificial intelligence to software analysis.
no code implementations • 1 Jul 2015 • Cunjing Ge, Feifei Ma, Jian Zhang
There are already quite a few tools for solving the Satisfiability Modulo Theories (SMT) problems.