EasyChair Smart SlideDocs/Log in
Author: Marijn Heule

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

Effective Auxiliary Variables via Structured Reencoding

Effective Auxiliary Variables via Structured Reencoding

Andrew Haberlandt, Harrison Green and Marijn Heule

Preprocessing of Propagation Redundant Clauses

Preprocessing of Propagation Redundant Clauses

Joseph Reeves, Marijn Heule and Randal Bryant

Migrating Solver State

Migrating Solver State

Armin Biere, Md Solimul Chowdhury, Marijn Heule, Benjamin Kiesl and Michael Whalen

The Packing Chromatic Number of the Infinite Square Grid Is at Least 14

The Packing Chromatic Number of the Infinite Square Grid Is at Least 14

Bernardo Subercaseaux and Marijn Heule

From Cliques to Colorings and Back Again

From Cliques to Colorings and Back Again

Marijn Heule, Anthony Karahalios and Willem-Jan van Hoeve

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: 12
Copyright © 2002 – 2024 EasyChair