A Constraint Programming Approach to Ship Refit Project Scheduling

Raphaël Boudreault, Vanessa Simard, Daniel Lafond and Claude-Guy Quimper

An Auditable Constraint Programming Solver

Stephan Gocht, Ciaran McCreesh and Jakob Nordström

LNS (Large Neighborhood Search) for Robust Solutions for CSP (Constraint Satisfaction Problems) with Ordered Domains

Jheisson Lopez, Laura Climent and Alejandro Arbelaez

Melodic Line Generation with RNNs, RL and CP

Daphné Lafleur, Sarath Chandar and Gilles Pesant

A Framework for Generating Informative Benchmark Instances

Nguyen Dang, Ozgur Akgun, Joan Espasa, Ian Miguel and Peter Nightingale

Constraint Acquisition Based on Solution Counting

Christopher Coulombe and Claude-Guy Quimper

Complexity of Minimum-Size Arc-Inconsistency Explanations

Christian Bessiere, Clément Carbonnel, Martin Cooper and Emmanuel Hebrard

Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation

Senne Berden, Mohit Kumar, Samuel Kolb and Tias Guns

Acquiring Maps of Interrelated Conjectures on Sharp Bounds

Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper

Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

Ágnes Cseh, Guillaume Escamocher and Luis Quesada

Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs

Jie Wang, Dingding Chen, Ziyu Chen, Xiangshuang Liu and Junsong Gao

Heuristics for MDD Propagation in Haddock

Rebecca Gentzel, Laurent Michel and Willem-Jan Van Hoeve

MDD-Based Constraint Programming in Haddock

Laurent Michel and Willem-Jan Van Hoeve

DUELMIPs: Optimizing Software Defined Network Functionality and Security

Timothy Curry, Gabe DePace, Yan Sun, Benjamin Fuller and Laurent Michel

From Cliques to Colorings and Back Again

Marijn Heule, Anthony Karahalios and Willem-Jan van Hoeve

Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms

Nicolas Schmidt, Helene Fargier and Jérôme Mengin

Understanding How People Approach Constraint Modelling and Solving

Ruth Hoffmann, Xu Zhu, Özgür Akgün and Miguel Nacenta

On Redundancy in Constraint Satisfaction Problems

Clément Carbonnel

Improving Decision Diagram Relaxations for Sequencing Problems (Peel & Bounds)

Isaac Rudich, Quentin Cappart and Louis-Martin Rousseau

Plotting: a Planning Problem with Complex Transitions

Joan Espasa Arxer, Ian Miguel and Mateu Villaret

Parallel Hybrid Best-First Search

Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos and Simon de Givry