EasyChair Smart SlideHelp/Log in
Author: Marijn Heule

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

Chinese Remainder Encoding for Hamiltonian Cycles

Chinese Remainder Encoding for Hamiltonian Cycles

Marijn Heule

Coloring Unit-Distance Strips using SAT

Coloring Unit-Distance Strips using SAT

Peter Oostema, Ruben Martins and Marijn Heule

Sensitivity Analysis of Locked Circuits

Sensitivity Analysis of Locked Circuits

Joseph Sweeney, Marijn J. H. Heule and Lawrence Pileggi

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: 6
Copyright © 2002 – 2021 EasyChair