EasyChair Smart SlideUser guide
Author: Tanja Schindler

This page shows all presentations of this author published in EasyChair Smart Slide.

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT

Elisabeth Henkel, Jochen Hoenicke and Tanja Schindler

A Simple Proof Format for SMT

A Simple Proof Format for SMT

Jochen Hoenicke and Tanja Schindler

Selfless Interpolation for Infinite-State Model Checking

Selfless Interpolation for Infinite-State Model Checking

Tanja Schindler and Dejan Jovanović

Efficient Interpolation for the Theory of Arrays

Efficient Interpolation for the Theory of Arrays

Jochen Hoenicke and Tanja Schindler

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair