Keyword:Constraint Programming

Papers
Applied Timetabling for Railways: Experiences with Several Solution Approaches Julian Jordi, Ambra Toletti, Gabrio Caimi and Kaspar Schüpbach EasyChair Preprint no. 887
Towards a Closer Integration of Dynamic Programming and Constraint Programming Steven Prestwich, Roberto Rossi, S. Armagan Tarim and Andrea Visentin In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited Neng-Fa Zhou and Håkan Kjellerstrand EasyChair Preprint no. 154
Constraint Problem Specification as Compression Steven Prestwich, S. Armagan Tarim and Roberto Rossi In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
A Modelling Pearl with Sortedness Constraints Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme In:GCAI 2015. Global Conference on Artificial Intelligence
Building Portfolios for the Protein Structure Prediction Problem Alejandro Arbelaez, Youssef Hamadi and Michèle Sebag In:WCB10. Workshop on Constraint Based Methods for Bioinformatics
Minimizing enzymes to diferenciate between species David Buezas, Joao Almeida and Pedro Barahona In:WCB10. Workshop on Constraint Based Methods for Bioinformatics