ModRef 2019

The 18th workshop on Constraint Modelling and Reformulation

September 30th, 2019; Stamford, CT, U.S.

ModRef 2019 is the 18th in a series of workshops on Constraint Modelling and Reformulation. ModRef has always been co-located with the Constraint Programming (CP) conference in the past. The workshop will run at The 25th International Conference on Principles and Practice of Constraint Programming, CP2019 in Stamford, CT, U.S. on September 30th 2019.

Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The importance of modelling and model reformulation is widely recognised. There have been developments in systematic and automated ways of improving aspects of modelling and model reformulation. Tools and techniques which provide the ability to target multiple kinds of solvers were also developed.

The key goals of this workshop are to extend the understanding of constraint modelling and to automate aspects of modelling or model reformulation to extend the reach of constraint solvers on difficult problems and ease the task of modelling. We solicit original papers that contribute to either or both of these goals.

Workshop topics include:

Call for Presentations (Deadline: July 21st, 2019)

This year ModRef will again include presentations that are not based on submitted papers. In addition to the presentation of research results, we especially welcome talks describing ongoing work, recent breakthroughs, future directions, and descriptions of interesting aspects of existing systems. Lightweight submissions must be in the form of a one (1) or two (2) pages extended abstract (excluding references) in the Lecture Notes in Computer Science (LNCS) style.

Call for Papers (Deadline: July 21st, 2019)

In addition to the short form abstract only submissions we are also accepting full paper submissions. These must be formatted in the Lecture Notes in Computer Science (LNCS) style and must be within 15 pages excluding references. Submissions of shorter papers, including position papers, are also welcome.

All submissions will be reviewed and those that are well-written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2019. Accepted contributions will be allowed a time slot for a presentation at the workshop. At least one author of each accepted paper must attend and present at the workshop. Please note that every workshop participant needs to be registered for the workshop.

Please feel free to get in touch to express interest, to have an informal discussion, etc.

Important Dates

Submission date July 14th, 2019
Notification of acceptance/rejection (for papers submitted before July 14th) July 17th, 2019
Extended Submission date July 21st, 2019
Notification and submission reviews August 14th, 2019
Camera ready version August 21st, 2019
Workshop day September 30th 2019

Program Committee

Michael Morin (Chair) Laval University
Kevin Leo (Chair) Monash University
Alan Frisch University of York
Andrea Rendl Satalia
Helmut Simonis The Insight Centre for Data Analytics
Jimmy Lee Chinese University of Hong Kong
Özgür Akgün University of St. Andrews

Program (September 30th, 2019)

Time Authors Title
09:00 Mikael Zayenz Lagerkvist State Representation and Polyomino Placement for the Game Patchwork (paper) (slides)
09:30 Invited Talk: Christian Schulte Combinatorial Register Allocation and Instruction Scheduling (slides)
10:30 Coffee Break  
11:00 Alexander Ek, Maria Garcia De La Banda, Andreas Schutt, Peter J. Stuckey and Guido Tack Modelling and Solving Online Optimisation Problems (paper)
11:30 Tias Guns Increasing modeling language convenience with a universal n-dimensional array, CPpy as python-embedded example (paper) (slides)
12:00 Avi Itzhakov and Michael Codish Incremental Symmetry Breaking Constraints for Graph Search Problems (paper)
12:30 Lunch break  
14:00 Neng-Fa Zhou In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem (paper)
14:30 Invited Talk: Nina Narodytska In Search for a SAT-friendly Binarized Neural Network Architecture
15:30 Coffee Break  
16:00 Joan Espasa Arxer, Mateu Villaret, Ian Miguel and Jordi Coll Towards Lifted Encodings for Numeric Planning in Essence Prime (paper)
16:30 Gökberk Koçak, Özgür Akgün, Tias Guns and Ian Miguel Towards Improving Solution Dominance with Incomparability Conditions (paper)
17:00 End of workshop  

Previous ModRef Workshops

The ModRef workshop has been running for 18 years and has hosted many interesting presentations.