Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
| Autori principali: | , |
|---|---|
| Natura: | Journal article |
| Pubblicazione: |
2004
|
| _version_ | 1826280870494863360 |
|---|---|
| author | Gottlob, G Pichler, R |
| author_facet | Gottlob, G Pichler, R |
| author_sort | Gottlob, G |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:20:14Z |
| format | Journal article |
| id | oxford-uuid:7c484aa7-1d33-4537-905d-c33eb6d1a64c |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:20:14Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | oxford-uuid:7c484aa7-1d33-4537-905d-c33eb6d1a64c2022-03-26T20:56:03ZHypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−WidthJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7c484aa7-1d33-4537-905d-c33eb6d1a64cDepartment of Computer Science2004Gottlob, GPichler, R |
| spellingShingle | Gottlob, G Pichler, R Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title | Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title_full | Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title_fullStr | Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title_full_unstemmed | Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title_short | Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width |
| title_sort | hypergraphs in model checking acyclicity and hypertree width versus clique width |
| work_keys_str_mv | AT gottlobg hypergraphsinmodelcheckingacyclicityandhypertreewidthversuscliquewidth AT pichlerr hypergraphsinmodelcheckingacyclicityandhypertreewidthversuscliquewidth |