Ordered escape routing based on Boolean satisfiability.

Lijuan Luo, Martin D. F. Wong

Browse the full ASPDAC paper archive.