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

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)

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.

Dr. -Ing. Karsten Keller University of Stuttgart

Karsten Schatz University of Stuttgart

Univ. -Prof. Dr. -Ing. Karsten Meier University of Stuttgart

Dr. Karsten Junius University of Stuttgart

Karsten Peissner University of Stuttgart

Other publications of authors with the same name

Test pattern generation in presence of unknown values based on restricted symbolic logic.D. Erb, K. Scheibler, M. Kochte, M. Sauer, H. Wunderlich, and B. Becker. ITC, page 1-10. IEEE Computer Society, (2014)Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects.D. Erb, K. Scheibler, M. Sauer, S. Reddy, and B. Becker. VTS, page 1-6. IEEE Computer Society, (2015)Efficient SMT-based ATPG for interconnect open defects.D. Erb, K. Scheibler, M. Sauer, and B. Becker. DATE, page 1-6. European Design and Automation Association, (2014)Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs.K. Scheibler, D. Erb, and B. Becker. DATE, page 972-977. IEEE, (2016)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)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.F. Neubauer, K. Scheibler, B. Becker, A. Mahdi, M. Fränzle, T. Teige, T. Bienmüller, and D. Fehrer. SC²@SYNASC, volume 1804 of CEUR Workshop Proceedings, page 32-38. CEUR-WS.org, (2016)Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknownsD. Erb, K. Scheibler, M. Kochte, M. Sauer, H. Wunderlich, and B. Becker. 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), page 749-754. Piscataway, IEEE, (2016)Implication Graph Compression inside the SMT Solver iSAT3.K. Scheibler, and B. Becker. MBMV, page 25-36. Cuvillier, (2014)Towards Verification of Artificial Neural Networks.K. Scheibler, L. Winterer, R. Wimmer, and B. Becker. MBMV, page 30-40. Sächsische Landesbibliothek, (2015)Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects.D. Erb, K. Scheibler, M. Sauer, S. Reddy, and B. Becker. ATS, page 131-136. IEEE Computer Society, (2014)