Tino Teige (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201

2 Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert: Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. JSAT 1(3-4): 209-236 (2007)

Selection of 2 from 6 records - Tino Teige has 10 coauthors

3		Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201
2		Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert: Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. JSAT 1(3-4): 209-236 (2007)