An Experimental Evaluation of Treewidth at Most Four Reductions. - Alexander Hein; Arie M. C. A. Koster (SEA, 2011)