EasyChair Smart SlideHelp/Log in
Author: Marijn Heule

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

Formal Verification of Unsatisfiability Results

Formal Verification of Unsatisfiability Results

Marijn Heule

The Effect of Scrambling CNFs

The Effect of Scrambling CNFs

Armin Biere and Marijn Heule

Extended Resolution Simulates DRAT

Extended Resolution Simulates DRAT

Benjamin Kiesl, Adrián Rebola-Pardo and Marijn Heule

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