New Worst-Case upper Bound for Counting Exact Satisfiability

Junping Zhou, Weihua Su, Jianan Wang. New Worst-Case upper Bound for Counting Exact Satisfiability. Int. J. Found. Comput. Sci., 25(6):667-678, 2014. [doi]

Abstract

Abstract is missing.