MODREF — PROGRAM

Days: Sunday, 19 July 2026

Sunday, 19 July 2026
09:00-09:10 Opening ModRef
Session Chair:
Jordi Coll
Location: C3.02
09:00-09:10
Welcome and Introduction (abstract) 10 min
Jordi Coll1
1 Universitat de Girona
09:10-10:30 Session 1: Constraint Modelling and Propagation ModRef
Location: C3.02
09:10-09:30
Defining Propagators in MiniZinc (abstract) 20 min
Jip J. Dekker1, Peter J. Stuckey1, Guido Tack1, Huu Quang Tran1, Markus Wagner1
1 Monash University
09:30-09:50
Propagation Algorithms for the Minimum-Distance Constraint over Selected Points (abstract) 20 min
Mikael Zayenz Lagerkvist1
1 Independent researcher, Sambanova
09:50-10:10
Machine Learning-Based Generalization Queries for Constraint Acquisition (abstract) 20 min
Dimos Tsouros1, Senne Berden2, Tias Guns2
1 University of Western Macedonia
2 KU Leuven
10:10-10:30
Paramita: An Extensible Framework for SATisfiability Solving (abstract) 20 min
Josep Alòs1, Carlos Ansótegui1, Juan Luis Esteban2, Eduard Torres1
1 Universitat de Lleida
2 Universitat Politècnica Catalunya
10:30-11:00 Coffee Break ModRef
Location: C3.02
11:00-11:40 Session 2: Puzzles ModRef
Location: C3.02
11:00-11:20
An Interactive Application to Solve Sudoku Variant Puzzles (abstract) 20 min
Helmut Simonis1, Luis Quesada1
1 Insight Centre, University College Cork
11:20-11:40
Scaling Sudoku as a Constraint Problem (abstract) 20 min
Mikael Zayenz Lagerkvist1
1 Independent researcher, Sambanova
11:40-12:20 Invited Talk ModRef
Location: C3.02
11:40-12:20
Reformulation in MaxSAT: Resolution Rules and Gadgets (abstract) 40 min
Carlos Ansótegui1
1 Lleida
12:20-13:50 Lunch Break ModRef
13:50-14:30 Session 3: Automated Generation and Reformulation ModRef
Location: C3.02
13:50-14:10
Computing Gadgets (abstract) 20 min
Josep Alòs1, Carlos Ansótegui1, Supratik Chakraborty2, Eduard Torres1
1 Universitat de Lleida
2 IIT Bombay
14:10-14:30
Towards Automated Generation of Benchmark Instances with Diverse Solver Performance (abstract) 20 min
Tianchen Wu1, Ian Miguel1, Nguyen Dang1
1 University of St Andrews
14:30-15:20 TBC ModRef
Session Chair:
Jordi Coll
Location: C3.02
14:30-15:20
25th Anniversary Event: Retrospective and Quiz (abstract) 50 min
Jordi Coll1, Felix Ulrich-Oltean2
1 Universitat de Girona
2 University of York
15:20-15:50 Coffee Break ModRef
Location: C3.02
15:50-17:00 Session 4: Applications ModRef
Location: C3.02
15:50-16:00
Novel Pair- and Topic-Swapping (abstract) 10 min
Frej Knutar Lewander1, Jennifer Gross1, María Andreína Francisco Rodríguez1
1 Uppsala University
16:00-16:20
No More Awkward Silences with Table Talk Tuning (abstract) 20 min
Martin Butler1, Mikael Zayenz Lagerkvist2
1 Toptracer
2 Independent researcher, Sambanova
16:20-16:40
A Simple Yet Efficient Lifted Formulation for Hard-to-Ground Planning Problems (abstract) 20 min
Miquel Bofill1, Cristina Borralleras2, Josu Oca1
1 Universitat de Girona
2 Universitat de Vic - Universitat Central de Catalunya
16:40-17:00
Solution checking with CPMpy (abstract) 20 min
Hendrik Bierlee1, Tias Guns1
1 KU Leuven
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑