Extending Pattern Branching to Handle Challenging Instances | IEEE Conference Publication | IEEE Xplore