EasyChair Smart SlideDocs/Log in
Author: Jeremy Avigad

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

Certified Knowledge Compilation with Application to Verified Model Counting

Certified Knowledge Compilation with Application to Verified Model Counting

Randal Bryant, Wojciech Nawrocki, Jeremy Avigad and Marijn Heule

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