EasyChair Smart SlideDocs/Log in
Author: Sumith Kulal

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

Scalable Synthesis with Symbolic Syntax Graphs

Scalable Synthesis with Symbolic Syntax Graphs

Rohin Shah, Sumith Kulal and Rastislav Bodik

What’s hard about Boolean Functional Synthesis?

What’s hard about Boolean Functional Synthesis?

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal and Shetal Shah

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