Index of /~nmz787/pdf/SAT

	Name	Last modified	Size	Description
	Parent Directory		-
	MonoSat/	2017-11-23 13:58	-
	nadel router/	2017-11-23 13:58	-
	Lynx: A Programmatic SAT Solver for the RNA-folding Problem__Devadas-Lynx.pdf	2017-11-23 13:58	229K
	A General and Exact Routing Methodology for Digital Microfluidic Biochips.pdf	2017-11-23 13:58	301K
	fmcad16_profl.pdf	2017-11-23 13:58	315K
	Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.pdf	2017-11-23 13:58	377K
	Synthesis of Microfluidics Chips using SMT Solvers__M13Rayside.pdf	2017-11-23 13:58	832K
	Model Checking for Biological Systems__Languages, Algorithms, and Applications	2017-11-23 13:58	848K
	Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics.pdf	2017-11-23 13:58	1.1M
	Amoeba-Inspired Nanoarchitectonic Computing: Solving Intractable Computational Problems Using Nanoscale Photoexcitation Transfer Dynamics__Aono_Langmuir13.pdf	2017-11-23 13:58	2.8M
	Towards Microfluidic Design Automation__Khan_Asif.pdf	2017-11-23 13:58	5.5M