Computing Optimal Hypertree Decompositions with SAT.

Andr Schidler, Stefan Szeider

Browse the full IJCAI paper archive.