%0 Journal Article %1 journals/ijfcs/ZhouSW14 %A Zhou, Junping %A Su, Weihua %A Wang, Jianan %D 2014 %J Int. J. Found. Comput. Sci. %K dblp %N 6 %P 667-678 %T New Worst-Case upper Bound for Counting Exact Satisfiability. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs25.html#ZhouSW14 %V 25

@article{journals/ijfcs/ZhouSW14, added-at = {2014-11-23T00:00:00.000+0100}, author = {Zhou, Junping and Su, Weihua and Wang, Jianan}, biburl = {https://www.bibsonomy.org/bibtex/2f51bb3c17606f58a0eb2088aa5593fb1/dblp}, ee = {http://dx.doi.org/10.1142/S0129054114500270}, interhash = {aad5402c9689edee7c9486bd1f58ed06}, intrahash = {f51bb3c17606f58a0eb2088aa5593fb1}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 6, pages = {667-678}, timestamp = {2015-06-18T06:43:32.000+0200}, title = {New Worst-Case upper Bound for Counting Exact Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs25.html#ZhouSW14}, volume = 25, year = 2014 }