Treewidth Lite: PACE 2017 A

By Holger Dell1