New Worst-Case Upper Bound for #XSAT
Artificial Intelligence
2011-02-25 v1
Abstract
An algorithm running in O(1.1995n) is presented for counting models for exact satisfiability formulae(#XSAT). This is faster than the previously best algorithm which runs in O(1.2190n). In order to improve the efficiency of the algorithm, a new principle, i.e. the common literals principle, is addressed to simplify formulae. This allows us to eliminate more common literals. In addition, we firstly inject the resolution principles into solving #XSAT problem, and therefore this further improves the efficiency of the algorithm.
Cite
@article{arxiv.1102.4924,
title = {New Worst-Case Upper Bound for #XSAT},
author = {Junping Zhou and Minghao Yin},
journal= {arXiv preprint arXiv:1102.4924},
year = {2011}
}
Comments
submitted to AAAI-10