HtdLEO Results
收藏数据链接:
官方服务:
资源简介:
Results for the IJCAI'21 paper "<strong>Computing Optimal Hypertree Decompositions with SAT" </strong>
提供机构:
Zenodo创建时间:
2021-05-07

Results for the IJCAI'21 paper "<strong>Computing Optimal Hypertree Decompositions with SAT" </strong>