We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Sub-exponential Upper Bound for #XSAT of some CNF Classes

Authors: Bernd Schuh
Abstract: We derive an upper bound on the number of models for exact satisfiability (XSAT) of arbitrary CNF formulas F. The bound can be calculated solely from the distribution of positive and negated literals in the formula. For certain subsets of CNF instances the new bound can be computed in sub-exponential time, namely in at most O(exp(sqrt(n))) , where n is the number of variables of F. A wider class of SAT problems beyond XSAT is defined to which the method can be extended.
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1803.07376 [cs.CC]
  (or arXiv:1803.07376v1 [cs.CC] for this version)

Submission history

From: Bernd Schuh [view email]
[v1] Tue, 20 Mar 2018 11:30:48 GMT (557kb)

Link back to: arXiv, form interface, contact.