The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stefan Kupferschmid" ( http://dblp.L3S.de/Authors/Stefan_Kupferschmid )

  Author page on DBLP  Author page in RDF  Community of Stefan Kupferschmid in ASPL-2

Publication years (Num. hits)
2008-2013 (15)
Publication types (Num. hits)
article(1) inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Karsten Scheibler, Stefan Kupferschmid, Bernd Becker 0001 Recent Improvements in the SMT Solver iSAT. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefan Kupferschmid Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung. Search on Bibsonomy 2013   RDF
1Matthias Sauer 0002, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker 0001 Functional test of small-delay faults using SAT and Craig interpolation. Search on Bibsonomy ITC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker 0001 Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. Search on Bibsonomy VLSI Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Incremental preprocessing methods for use in BMC. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Bernd Becker 0001, Tino Teige, Martin Fränzle Proof certificates and non-linear arithmetic constraints. Search on Bibsonomy DDECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Bernd Becker 0001 Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Ernst Althaus, Bernd Becker 0001, Daniel Dumitriu, Stefan Kupferschmid Integration of an LP Solver into Interval Constraint Propagation. Search on Bibsonomy COCOA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach Superposition Modulo Non-linear Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Bernd Becker 0001 Craig Interpolation in the Presence of Non-linear Constraints. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Miller, Stefan Kupferschmid, Bernd Becker 0001 Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker 0001 Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Tino Teige, Bernd Becker 0001, Martin Fränzle Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige Challenges in Constraint-Based Analysis of Hybrid Systems. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license