Reformulating R(*, m)C with Tree Decomposition

Open in new window