Skip to main content

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width

Georg Gottlob and Reinhard Pichler

Journal
SIAM J. Comput.
Number
2
Pages
351−378
Volume
33
Year
2004