Published May 7, 2021 | Version v1
Software Open

HtdLEO source code

Authors/Creators

  • 1. TU Wien

Description

Source code used in the experiments of the IJCAI'21 paper "Computing Optimal Hypertree Decompositions with SAT"

Files

htdleo.zip

Files (971.6 kB)

Name Size
md5:925e09f6d82af0798b438cb8cfdec1c5
971.6 kB Preview Download