On the expressive power of CNF formulas of bounded tree- and clique-width
Irenée Briquel, Pascal Koiran, Klaus MeerVolume:
159
Year:
2011
Language:
english
Pages:
14
DOI:
10.1016/j.dam.2010.09.007
File:
PDF, 289 KB
english, 2011