We show that #SAT is polynomial-time tractable for classes of CNF formulas
whose incidence graphs have bounded symmetric clique-width (or bounded
clique-width, or bounded rank-width). This result strictly generalizes
polynomial-time tractability results for classes of formulas with signed
incidence graphs of bounded clique-width and classes of formulas with incidence
graphs of bounded modular treewidth, which were the most general results of
this kind known so far.Comment: Extended version of a paper published at ISAAC 201
