Jürgen Christ

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Tree Structures

Fault Localization

Cutting Stock Problems

Top Venues

Publications

Jürgen Christ, Jochen Hoenicke, Alexander Nutz
Proof Tree Preserving Interpolation. CoRR (2017)
Jürgen Christ, Jochen Hoenicke
Proof Tree Preserving Tree Interpolation. J. Autom. Reason. 57 (1) (2016)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. FroCos (2015)
Jürgen Christ, Jochen Hoenicke
Cutting the Mix. CAV (2) (2015)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. SMT (2014)
Jürgen Christ, Jochen Hoenicke
Weakly Equivalent Arrays. CoRR (2014)
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
Proof Tree Preserving Interpolation. TACAS (2013)
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
Flow-Sensitive Fault Localization. VMCAI (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Jürgen Christ, Jochen Hoenicke, Alexander Nutz
SMTInterpol: An Interpolating SMT Solver. SPIN (2012)
Jürgen Christ, Jochen Hoenicke, Martin Schäf
Towards Bounded Infeasible Code Detection CoRR (2012)
Jürgen Christ, Jochen Hoenicke
Instantiation-Based Interpolation for Quantified Formulae. Decision Procedures in Software, Hardware and Bioware (2010)