Divide and Conquer: Efficient Multi-path Validation with ProMPV. - Anxiao He; Yubai Xie; Wensen Mao; Tienpei Yeh (QSHINE, 2019)