ModRef 2020 Efficient Incremental Modelling and Solving

(10:45)

ModRef 2020 Exploring Instance Generation for Automated Planning

(10:5)

ModRef 2020 Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced...

(9:56)

ModRef 2020 Modelling the Conference Paper Assignment Problem

(10:14)

ModRef 2020 Hybrid Prediction and Constraint Solving

(40:17)

ModRef 2020 A Constraint Programming Approach to Microplate Layout Design

(9:59)

ModRef 2020 Half-checking propagators

(8:39)

ModRef 2020 Rethinking model reformulation: from speed focused to human focused

(32:1econd)

ModRef 2020 Deriving Optimal Multiplication-by-Constant Circuits With A SAT-based Constraint Engine

(13:32)

ModRef 2020 Efficient Exact Computation of Setwise Minimax Regret

(10:14)

ModRef 2020 Specifying Local Search Neighborhoods from a Constraint Satisfaction Problem Structure

(9:57)

Half Checking Propagators by Mikael Z. Lagerkvist and Magnus Rattfeldt at ModRef 2020

(8:39)

PTHG 2020 Step-Wise Explanations for Constraint Satisfaction (and Optimization?)

(25:37)

ModRef 2021 Welcome

(3:56)

This FNAF Free Roam 20/20/20/20 BROKE ME..

(12:56)

ModRef 2021 \

(10:53)