Tanja Schindler

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 14

Top Topics

Computationally Expensive

Tree Construction

Top Venues

Publications

Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT. CoRR (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. CADE (2023)
Jochen Hoenicke, Tanja Schindler
A Simple Proof Format for SMT. SMT (2022)
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. SMT (2021)
Jochen Hoenicke, Tanja Schindler
Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. VMCAI (2021)
Jochen Hoenicke, Tanja Schindler
Interpolation and the Array Property Fragment. CoRR (2019)
Jochen Hoenicke, Tanja Schindler
Solving and Interpolating Constant Arrays Based on Weak Equivalences. VMCAI (2019)
Tanja Schindler, Dejan Jovanovic
Selfless Interpolation for Infinite-State Model Checking. VMCAI (2018)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. CoRR (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. IJCAR (2018)
Jochen Hoenicke, Tanja Schindler
Efficient Interpolation for the Theory of Arrays. SMT (2017)