On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width
Author: | Pascal Koiran, Klaus MeerGND, Irénée Briquel |
---|---|
Document Type: | Scientific journal article peer-reviewed |
Language: | English |
Year of publication: | 2011 |
Quelle aus UBICO: | Discrete Applied Mathematics 159(2011)1, S. 1-14, 0166-218x |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Theoretische Informatik |