fetching results... please wait


Ergebnisse der Suche:

[Scheibler et al., 2016]
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, and Bernd Becker. Extending iSAT3 with ICP-contractors for bitwise integer operations. AVACS Technical Report No. 116, SFB/TR 14 AVACS, 2016. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): T1

Bibtex

PDF
open

[Dinh et al., 2011]
Nam Thang Dinh, Martin Fränzle, and Andreas Eggers. AVACS H1/2 8-year benchmark: Analyzing traffic models with iSAT. AVACS Technical Report No.  81, SFB/TR 14 AVACS, July 2011. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Teige and Fränzle, 2011a]
Tino Teige and Martin Fränzle. Generalized Craig interpolation for stochastic Boolean satisfiability problems. AVACS Technical Report No.  67, SFB/TR 14 AVACS, 2011. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
open

[Eggers et al., 2008b]
Andreas Eggers, Martin Fränzle, and Christian Herde. SAT modulo ODE: A direct SAT approach to hybrid systems. AVACS Technical Report No.  37, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, April 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Kupferschmid et al., 2008c]
Stefan Kupferschmid, Tino Teige, Bernd Becker, and Martin Fränzle. Proofs of unsatisfiability for mixed boolean and non-linear arithmetic constraint formulae. AVACS Technical Report No.  40, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, June 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Teige et al., 2008]
Tino Teige, Christian Herde, Martin Fränzle, and Erika Ábrahám. Conflict analysis and restarts in a mixed boolean and non-linear arithmetic constraint solver. AVACS Technical Report No.  34, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, January 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Fränzle et al., 2007b]
Martin Fränzle, Hardi Hungar, Christian Schmitt, and Boris Wirtz. Hlang: Compositional representation of hybrid systems via predicates. AVACS Technical Report No.  20, SFB/TR 14 AVACS, July 2007. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2,H3

Bibtex

PDF
open