EasyChair Smart SlideUser guide
Author: Stephan Gocht

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

An Auditable Constraint Programming Solver

An Auditable Constraint Programming Solver

Stephan Gocht, Ciaran McCreesh and Jakob Nordström

Certified CNF Translations for Pseudo-Boolean Solving

Certified CNF Translations for Pseudo-Boolean Solving

Stephan Gocht, Ruben Martins, Jakob Nordström and Andy Oertel

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Jan Elffers, Jesus Giráldez-Cru, Stephan Gocht, Jakob Nordstrom and Laurent Simon

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Marc Vinyals, Jan Elffers, Jesús Giráldez-Crú, Stephan Gocht and Jakob Nordstrom

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