Cunjing Ge | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jian Zhang
226 publications
Tian Liu
21 publications
Feifei Ma
9 publications

research

∙ 12/28/2020

Counting the Number of Solutions to Constraints

Compared with constraint satisfaction problems, counting problems have r...

0 Jian Zhang, et al. ∙

research

∙ 06/13/2017

A New Probabilistic Algorithm for Approximate Model Counting

Constrained counting is important in domains ranging from artificial int...

0 Cunjing Ge, et al. ∙