On the expressive power of CNF formulas of bounded tree- and clique-width - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Applied Mathematics Année : 2011

Dates et versions

hal-04644410 , version 1 (11-07-2024)

Identifiants

Citer

Irenée Briquel, Pascal Koiran, Klaus Meer. On the expressive power of CNF formulas of bounded tree- and clique-width. Discrete Applied Mathematics, 2011, 159 (1), pp.1-14. ⟨10.1016/j.dam.2010.09.007⟩. ⟨hal-04644410⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More