EasyChair Smart SlideUser guide
Author: Natarajan Shankar

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

CDSAT for Nondisjoint Theories with Shared Predicates: Arrays with Abstract Length

CDSAT for Nondisjoint Theories with Shared Predicates: Arrays with Abstract Length

Maria Paola Bonacina, Stéphane Graham-Lengrand and Natarajan Shankar

How to be an Abstraction Engineer

How to be an Abstraction Engineer

Natarajan Shankar

The Pleasures of Proof

The Pleasures of Proof

Natarajan Shankar

Proofs in conflict-driven theory combination

Proofs in conflict-driven theory combination

Maria Paola Bonacina, Stéphane Graham-Lengrand and Natarajan Shankar

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