Efficient SAT-Based Search for Longest Sensitisable Paths | IEEE Conference Publication | IEEE Xplore