EasyChair Smart SlideUser guide
Author: Adrián Rebola-Pardo

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

Even Shorter Proofs Without New Variables

Even Shorter Proofs Without New Variables

Adrian Rebola Pardo

A Theory of Satisfiability-Preserving Proofs in SAT Solving

A Theory of Satisfiability-Preserving Proofs in SAT Solving

Adrián Rebola Pardo and Martin Suda

Extended Resolution Simulates DRAT

Extended Resolution Simulates DRAT

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

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