Optimal Treewidth: PACE 2017 A1

By Holger Dell1