Publication | Closed Access

Counting truth assignments of formulas of bounded tree-width or clique-width

EngineeringGraph TheoryAutomated ReasoningCombinatory AnalysisCombinatorial Design TheoryComputational ComplexityEnumerative CombinatoricsComputer ScienceDiscrete MathematicsCombinatorial OptimizationCombinatorial MethodTruth Assignments