NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY
Publication | Article in International Journal of Foundations of Computer Science, published September 2014 |
---|---|
Authors | JUNPING ZHOU, WEIHUA SU, JIANAN WANG |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…