On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width

Dates et versions

hal-04655407 , version 1 (22-07-2024)

Identifiants

Citer

Pascal Koiran, Klaus Meer. On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width. WG 2008, Jun 2008, Durham, United Kingdom. pp.252-263, ⟨10.1007/978-3-540-92248-3_23⟩. ⟨hal-04655407⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

More