On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width
Author: | Pascal Koiran, Klaus MeerGND |
---|---|
ISBN: | 978-3-540-92247-6 |
Title of the source (English): | Graph-theoretic concepts in computer science, 34th international workshop, WG 2008, Durham, UK, June 30-July 2, 2008 |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2008 |
First Page: | 252 |
Last Page: | 263 |
Series ; volume number: | Lecture notes in computer science ; 5344 |
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 |