Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Georg Gottlob and Reinhard Pichler
Details
| Journal |
SIAM J. Comput. |
| Number |
2 |
| Pages |
351−378 |
| Volume |
33 |
| Year |
2004 |
Links
DOI (10.1137/S0097539701396807)
Related pages
|
People |