EasyChair Smart SlideDocs/Log in
Author: Makai Mann

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

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett

CoSA: Integrated Verification for Agile Hardware Design

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett, Ross Daly, Dillon Huff and Pat Hanrahan

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