Ziao Ni

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Propositional Logic

Top Venues

Publications

Hao Liu, Ziao Ni, Wenyang Zhou, Tongbo Zhang, Shuai Lü
Approximate Model Counting Via Extension Rule and Clause Reduction. ICIIP (2018)