A Progressive-ILP-Based Routing Algorithm for the Synthesis of Cross-Referencing Biochips | IEEE Journals & Magazine | IEEE Xplore