Showing cs.AIShow all
3 papers · 1 filter
cs.AI2020
Counting the Number of Solutions to Constraints
Jian Zhang, Cunjing Ge, Feifei Ma
Compared with constraint satisfaction problems, counting problems have received less attention. In this paper, we survey research works on the problems of counting the number of so…
cs.AI2017
A New Probabilistic Algorithm for Approximate Model Counting
Cunjing Ge, Feifei Ma, Tian Liu +1
Constrained counting is important in domains ranging from artificial intelligence to software analysis. There are already a few approaches for counting models over various types of…
cs.AI2015
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)
Cunjing Ge, Feifei Ma, Jian Zhang
There are already quite a few tools for solving the Satisfiability Modulo Theories (SMT) problems. In this paper, we present \texttt{VolCE}, a tool for counting the solutions of SM…