On using SAT to ordered escape problems.

Lijuan Luo, Martin D. F. Wong

Browse the full ASPDAC paper archive.