“…For example, a 20-variable 3-SAT problem required 96 hours to complete [Braich et al, 2002], not counting the considerable time needed for setup and evaluation. To automate and optimize this process, researchers have turned to microfluidic devices [Farfel and Stefanovic, 2005, Gehani and Reif, 1999, Grover and Mathies, 2005, Livstone et al, 2006, McCaskill, 2001, Somei et al, 2005, van Noort, 2005, van Noort et al, 2002, van Noort and Zhang, 2004. Microfluidics offers the promise of a "lab on a chip" system that can individually control picoliter-scale quantities of fluids, with integrated support for operations such as mixing, storage, PCR, heating/cooling, cell lysis, electrophoresis, and others [Breslauer et al, 2006, Erickson and Li, 2004, Sia and Whitesides, 2003.…”