Title: Advanced Tools and Methods for Treewidth-Based Problem Solving