Helpful Reading
- Constraint programming.
- Combinatorial Optimization using Constraint Programming (Pierre Flener)
- On-line guide to constraint programming (R. Barták)
- Constraint programming course (P. Prosser)
- Linear programming (any good introduction).
- Scheduling.
- Baptiste, Philippe, Claude Le Pape, and Wim Nuijten (2001). Constraint-Based Scheduling. Kluwer Academic Publishers (Google books preview).
- Vilím, Petr (2007). Global Constraints in Scheduling. PhD thesis. Charles University in Prague, Faculty of Mathematics, Physics, Department of Theoretical Computer Science, and Mathematical Logic.
- Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin et al. (2016). Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets, Proceedings of CP 2016.
Required softwares
The following softwares are required for the ‘Do it Yourself’ sessions where you will learn how to build a Mini-CP solver.
- Git
- SBT or Maven
- IntelliJ Idea, Eclipse, or Netbeans
- Git, SBT, or maven integration plugins
Miscellaneous resources
- Sagemath, a free open-source mathematics software system used by D. Coudert
- A python script used by E. Hebrard to prepare its talk