EasyChair Smart SlideUser guide
Author: Konstantin Korovin

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

Refining Unification with Abstraction

Refining Unification with Abstraction

Johannes Schoisswohl, Laura Kovacs, Konstantin Korovin and Ahmed Bhayat

An abstraction-refinement framework for reasoning with large theories

An abstraction-refinement framework for reasoning with large theories

Julio Cesar Lopez Hernandez and Konstantin Korovin

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