EasyChair Smart SlideUser guide
Conference: ModRef2022 (21st Workshop on Constraint Modelling and Reformulation)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Solving XCSP3 Constraint Problems Using Tools from Software Verification

Solving XCSP3 Constraint Problems Using Tools from Software Verification

Martin Mariusz Lester

A Constraint-Based Tool for Generating Benchmark Instances

A Constraint-Based Tool for Generating Benchmark Instances

Nguyen Dang

A Portfolio-Based Analysis Method for Competition Results

A Portfolio-Based Analysis Method for Competition Results

Nguyen Dang

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Emilio Gamba, Bart Bogaerts and Tias Guns

Constraint Modelling and Solving: Learning from Observing People

Constraint Modelling and Solving: Learning from Observing People

Ruth Hoffmann

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