EasyChair Smart SlideUser guide
Author: Ciaran McCreesh

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 Symmetry and Dominance Breaking for Combinatorial Optimisation

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

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