@article{DBLP:journals/fuin/BliemCHW16, author = {Bliem, Bernhard and Charwat, G{\"{u}}nther and Hecher, Markus and Woltran, Stefan}, title = {D-FLAT\({}^{\mbox{2}}\): Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy}, journal = {Fundam. Inform.}, volume = {147}, number = {1}, pages = {27--61}, year = {2016} }