Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems | IEEE Conference Publication | IEEE Xplore