Laboratoire de Génie Informatique et d’Automatique de l’Artois


About Modeling and Solving Combinatorial Constrained Problems (in Python)

Le 3 juin 2022 à 10h00 Salle des séminaires du LGI2A, FSA, Béthune
Christophe LECOUTRE Professeur CRIL (Centre de Recherche en Informatique de Lens)
Le séminaire est présenté en anglais.

Presentation held together with Professor Gilles Audemard

In this talk, we will start by introducing PyCSP3, which is a Python library that allows us to easily write models of combinatorial constrained problems. We will show how PyCSP3 can be useful to learn more about Constraint Programming (CP), notably by letting the user play with 60 Jupyter notebooks available at (concerning popular constraints, classical models and incremental solving). Then, we will focus on new advanced forms of constraints, combining intensional and extensional representations. These hybrid constraints are promising both for simplifying models and efficiently solving problem instances. Finally, we will discuss several hybrid forms of solving techniques, developed from connex domains : complete operations research approaches, local search and SAT.