HtdLEO source code
Published in Zenodo (CERN European Organization for Nuclear Research) • May 7, 2021
Authors:,
Andre Schidler
Stefan Szeider
Abstract
Source code used in the experiments of the IJCAI'21 paper "Computing Optimal Hypertree Decompositions with SAT"
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!