Login / Signup

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

Irénée BriquelPascal KoiranKlaus Meer
Published in: Discret. Appl. Math. (2011)
Keyphrases