On the expressive power of CNF formulas of bounded tree- and clique-width

Irénée Briquel, Pascal Koiran, Klaus Meer. On the expressive power of CNF formulas of bounded tree- and clique-width. Discrete Applied Mathematics, 159(1):1-14, 2011. [doi]

Abstract

Abstract is missing.