You are here

About beCool

beCool is a group of researchers in Constraint Programming and Local Search part of the ICTEAM institute at the Université catholique de Louvain in Belgium.

Constraint Programming (CP) is a powerful paradigm for modelling and solving complex combinatorial (optimization) problems. It integrates techniques from artificial intelligence, computer science, operational research and optimization. CP separates the modelling of the problem from the search for solutions. It offers high level modelling languages based on constraints. CP proposes two complementary search mechanisms. Standard CP is based on systematic tree search coupled with pruning techniques to remove infeasable solutions. Constraint-Based Local Search allows heuristic search based on the exploration of neighborhoods.

In this Constraint Group, we are mainly interested in consistency techniques, integration of CP and CBLS, graph matching, routing problems, applications in networking,…