Ping-Hung Yuh, Cliff Chiung-Yu Lin, Tsung-Wei Huang, Tsung-Yi Ho, Chia-Lin Yang, Yao-Wen Chang. A SAT-based routing algorithm for cross-referencing biochips. In Janet Meiling Wang, Deming Chen, editors, 2011 International Workshop on System Level Interconnect Prediction, SLIP 2011, San Diego, CA, USA, June 5, 2011. pages 1-7, IEEE, 2011. [doi]
Abstract is missing.