Stefan Kupferschmid

Available identifiers

zbMath Open kupferschmid.stefanMaRDI QIDQ453485

List of research outcomes

Publication	Date of Publication	Type
Incremental preprocessing methods for use in BMC	2012-09-27	Paper
Craig Interpolation in the Presence of Non-linear Constraints	2011-10-07	Paper
Superposition Modulo Non-linear Arithmetic	2011-10-07	Paper
Integration of an LP Solver into Interval Constraint Propagation	2011-08-12	Paper
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs	2010-09-29	Paper
Challenges in Constraint-Based Analysis of Hybrid Systems	2009-08-06	Paper
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints	2009-03-31	Paper

Research outcomes over time

This page was built for person: Stefan Kupferschmid