Solution Counting

Institute for Integrated and Intelligent Systems (IIIS) and School of Information and Communication Technology (ICT)

Jian Zhang, Satisfiability Checking, Solution Counting, 2010 .