Fedor V. Fomin Serge Gaspers Saket Saurabh Branching and Treewidth Based Exact Algorithms. 16-25 2006 conf/isaac/2006 ISAAC http://dx.doi.org/10.1007/11940128_4 db/conf/isaac/isaac2006.html#FominGS06