On using SAT to ordered escape problems | IEEE Conference Publication | IEEE Xplore