この資料をSMS送信: Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width