EasyChair Smart SlideDocs/Log in
Author: Randal Bryant

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

Preprocessing of Propagation Redundant Clauses

Preprocessing of Propagation Redundant Clauses

Joseph Reeves, Marijn Heule and Randal Bryant

TBUDDY: a Proof-Generating BDD Package

TBUDDY: a Proof-Generating BDD Package

Randal Bryant

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