Keyword:Constraint Programming

Publications
A Portfolio-Based Analysis Method for Competition Results Nguyen Dang EasyChair Preprint 8627
The Office Scheduling Problem Minh Vinh Nguyen Phuoc Bao EasyChair Preprint 7319
ScheduleME - Smart Digital Personal Assistant for Automatic Priority Based Task Scheduling and Time Management Ashana Liyanage, Dilshan Madhushanka, Menusha Uduwara, Dilrukshan Jayarathne, Samanthi Siriwardana, Shyam Reyal and Malithi Mithsara EasyChair Preprint 5907
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint 1906
Towards Efficient Solvers for Optimisation Problems Huu-Phuc Vo EasyChair Preprint 1738
Towards Efficient Algorithms for Constraint Satisfaction Problems Huu-Phuc Vo EasyChair Preprint 1732
Machine-Assisted Reformulation for MiniZinc Huu-Phuc Vo EasyChair Preprint 1731
Applied Timetabling for Railways: Experiences with Several Solution Approaches Julian Jordi, Ambra Toletti, Gabrio Caimi and Kaspar Schüpbach EasyChair Preprint 887
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited Neng-Fa Zhou and Håkan Kjellerstrand EasyChair Preprint 154
NACRE - A Nogood And Clause Reasoning Engine Gael Glorian, Jean-Marie Lagniez and Christophe Lecoutre In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
Constraint Problem Specification as Compression Steve 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
Minimizing enzymes to diferenciate between species David Buezas, Joao Almeida and Pedro Barahona In:WCB10. Workshop on Constraint Based Methods for Bioinformatics
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