Author:
Keszocze Oliver,Wille Robert,Drechsler Rolf
Publisher
Springer International Publishing
Reference8 articles.
1. Barrett C, Stump A, Tinelli C (2010)The SMT-LIB standard: version 2.0. In: Gupta A, Kroening D (eds) International workshop on satisfiability modulo theories, Edinburgh
2. 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
3. Grissom D et al (2012) A digital microfluidic biochip synthesis framework. In: VLSI of System-on-Chip, pp 177–182
4. Keszocze O et al (2014) Exact one-pass synthesis of digital microfluidic biochips. In: Design automation conference. DAC, pp 142:1–142:6
5. Riener H et al (2014) A logic for cardinality constraints. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen