Efficient feasibility checking algorithms for intersection-tree construction