On polynomial time algorithms for tree-decomposable graphs | IEEE Conference Publication | IEEE Xplore