Keyword:Constraint Programming

Papers
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint no. 1906
Towards Efficient Solvers for Optimisation Problems Huu-Phuc Vo EasyChair Preprint no. 1738
Towards Efficient Algorithms for Constraint Satisfaction Problems Huu-Phuc Vo EasyChair Preprint no. 1732
Machine-Assisted Reformulation for MiniZinc Huu-Phuc Vo EasyChair Preprint no. 1731
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