ILP-based Synthesis for Sample Preparation Applications on Digital Microfluidic Biochips. - Abhimanyu Yadav; Trung Anh Dinh; Daiki Kitagawa; Shigeru Yamashita (VLSID, 2016)