Stefan Kupferschmid

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints

Christoph Scholl, Stefan Kupferschmid, Stefan Disch, 2009, TACAS.

Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs

Bernd Becker, Stefan Kupferschmid, Christian Miller, 2010, MBMV.

Integration of an LP Solver into Interval Constraint Propagation

Ernst Althaus, Bernd Becker, Stefan Kupferschmid, 2011, COCOA.

Life Cycle GHG Emission Study on the Use of LNG as Marine Fuel

Stefan Kupferschmid, S. Whitehouse, Jasmin Hengstler, 2019 .

Superposition Modulo Non-linear Arithmetic

Christoph Weidenbach, Evgeny Kruglov, Stefan Kupferschmid, 2011, FroCoS.

Recent Improvements in the SMT Solver iSAT

Bernd Becker, Stefan Kupferschmid, Karsten Scheibler, 2013, MBMV.

Craig Interpolation in the Presence of Non-linear Constraints

Bernd Becker, Stefan Kupferschmid, B. Becker, 2011, FORMATS.