Tanja Schindler

18 papers A 2B 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Pseudo-Boolean Proof Logging for Optimal Classical Planning.
CoRR
Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger, Tanja Schindler
2025 B conf
The FMCAD 2025 Student Forum.
FMCAD
Tanja Schindler, Lee Barnett
2023 A conf
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT.
CADE
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
2023 J jnl
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.
CoRR
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
2023 — conf
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
2022 — conf
A Simple Proof Format for SMT.
SMT
Jochen Hoenicke, Tanja Schindler
2022 — —
SMT solving, interpolation, and quantifiers.
Tanja Schindler
2022 — ch.
SMT-Solving, Interpolation und Quantoren.
Ausgezeichnete Informatikdissertationen
Tanja Schindler
2021 B conf
Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching.
VMCAI
Jochen Hoenicke, Tanja Schindler
2021 — conf
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.
SMT
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
2019 J jnl
Interpolation and the Array Property Fragment.
CoRR
Jochen Hoenicke, Tanja Schindler
2019 B conf
Solving and Interpolating Constant Arrays Based on Weak Equivalences.
VMCAI
Jochen Hoenicke, Tanja Schindler
2018 A conf
Efficient Interpolation for the Theory of Arrays.
IJCAR
Jochen Hoenicke, Tanja Schindler
2018 J jnl
Efficient Interpolation for the Theory of Arrays.
CoRR
Jochen Hoenicke, Tanja Schindler
2018 B conf
Selfless Interpolation for Infinite-State Model Checking.
VMCAI
Tanja Schindler, Dejan Jovanovic
2018 — conf
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
2018 — conf
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
2017 — conf
Efficient Interpolation for the Theory of Arrays.
SMT
Jochen Hoenicke, Tanja Schindler