Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

C. Scholl, S. Disch, F. Pigorsch, and S. Kupferschmid. TACAS, volume 5505 of Lecture Notes in Computer Science, page 383-397. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Esser University of Stuttgart

Generation of a radially polarized beam in a polycrystalline ceramic Yb:Lu2O3 thin-disk laserD. Didychenko, S. Esser, F. Beirow, A. Savchenko, C. Pruss, T. Graf, and M. Abdou Ahmed. Applied Physics B, 129 (9): 146 (Aug 24, 2023)

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Köbel University of Stuttgart

Stefan Esselborn University of Stuttgart

Other publications of authors with the same name

Superposition Modulo Non-linear Arithmetic.A. Eggers, E. Kruglov, S. Kupferschmid, K. Scheibler, T. Teige, and C. Weidenbach. FroCoS, volume 6989 of Lecture Notes in Computer Science, page 119-134. Springer, (2011)Functional test of small-delay faults using SAT and Craig interpolation.M. Sauer, S. Kupferschmid, A. Czutro, I. Polian, S. Reddy, and B. Becker. ITC, page 1-8. IEEE Computer Society, (2012)Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.S. Kupferschmid, T. Teige, B. Becker, and M. Fränzle. MBMV, page 27-36. Universitätsbibliothek Berlin, Germany, (2009)Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.C. Miller, S. Kupferschmid, and B. Becker. MBMV, page 77-86. Fraunhofer Verlag, (2010)Integration of an LP Solver into Interval Constraint Propagation.E. Althaus, B. Becker, D. Dumitriu, and S. Kupferschmid. COCOA, volume 6831 of Lecture Notes in Computer Science, page 343-356. Springer, (2011)Challenges in Constraint-Based Analysis of Hybrid Systems.A. Eggers, N. Kalinnik, S. Kupferschmid, and T. Teige. CSCLP, volume 5655 of Lecture Notes in Computer Science, page 51-65. Springer, (2008)Proof certificates and non-linear arithmetic constraints.S. Kupferschmid, B. Becker, T. Teige, and M. Fränzle. DDECS, page 429-434. IEEE Computer Society, (2011)Incremental preprocessing methods for use in BMC.S. Kupferschmid, M. Lewis, T. Schubert, and B. Becker. Formal Methods in System Design, 39 (2): 185-204 (2011)Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.M. Sauer, S. Kupferschmid, A. Czutro, S. Reddy, and B. Becker. VLSI Design, page 382-387. IEEE Computer Society, (2012)Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen.S. Kupferschmid, and B. Becker. MBMV, page 279-288. OFFIS-Institut für Informatik, (2011)