How many solutions does a SAT instance have?

Pushkin R. Pari, Lin Yuan, Gang Qu

Browse the full ISCAS paper archive.