A SAT-based routing algorithm for cross-referencing biochips | IEEE Conference Publication | IEEE Xplore