Author:
Keszocze Oliver,Wille Robert,Drechsler Rolf
Publisher
Springer International Publishing
Reference13 articles.
1. Böhringer KF (2004) Towards optimal strategies for moving droplets in digital microfluidic systems. In: International conference on robotics and automation, pp 1468–1474
2. Cho M, Pan DZ (2008) A high-performance droplet routing algorithm for digital microfluidic biochips. IEEE Trans Comput Aided Des Integr Circuits Syst 27(10):1714–1724
3. De Moura L, Bjørner N (2008) Z3: an efficient SMT solver. In: Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 337–340. Z3 is available at https://github.com/Z3Prover/z3
4. Garey MR, Johnson DS (1979) In: Klee V (ed) Computers and intractability. Books in the mathematical sciences, vol 29. W.H. Freeman and Company, New York
5. Huang T-W, Ho T-Y (2009) A fast routability and performance-driven droplet routing algorithm for digital microfluidic biochips. International conference on computer design, pp 445–450