Stefan Kupferschmid

16 papers A 3C 2Misc 1Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2014 — conf
A Formal Approach to the Traveling Professor Problem.
Aspekte der Technischen Informatik
Matthias Sauer, Stefan Kupferschmid
2013 — conf
Recent Improvements in the SMT Solver iSAT.
MBMV
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
2013 — —
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung.
Stefan Kupferschmid
2012 Misc conf
Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.
VLSI Design
Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker
2012 A conf
Functional test of small-delay faults using SAT and Craig interpolation.
ITC
Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
2011 — conf
Craig Interpolation in the Presence of Non-linear Constraints.
FORMATS
Stefan Kupferschmid, Bernd Becker
2011 — conf
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen.
MBMV
Stefan Kupferschmid, Bernd Becker
2011 J jnl
Incremental preprocessing methods for use in BMC.
Formal Methods Syst. Des.
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
2011 C conf
Integration of an LP Solver into Interval Constraint Propagation.
COCOA
Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
2011 C conf
Proof certificates and non-linear arithmetic constraints.
DDECS
Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
2011 — conf
Superposition Modulo Non-linear Arithmetic.
FroCoS
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
2010 A conf
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
SAT
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
2010 — conf
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.
MBMV
Christian Miller, Stefan Kupferschmid, Bernd Becker
2009 A conf
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.
TACAS
Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
2009 — conf
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.
MBMV
Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
2008 — conf
Challenges in Constraint-Based Analysis of Hybrid Systems.
CSCLP
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige