You are here

Research Topics

Approximate Graph Matching

Graph matching arises in many domains from the comparison of biological networks to scene recognition problems. Efficient methods are available for exact matching and people are now interested in approximate graph matching. Given an input query graph, the objective is to find this query in a target graph, allowing some approximations : node gaps, structural differences,…

Global Constraints

Global Constraints and Filtering algorithms

Local Search Framework LS(Graph) for CSPs on graphs

The objective of this research is to extend the Comet language by constructing a framework called LS(Graph) which aims at simplifying the modeling of CSPs on graphs. The goal of LS(Graph) is to strengthen the modeling features of Comet for an important class of CSP (CSPs on graphs) and to enhance compositionality.


Publications related to OscaR Solver (


Application, heuristics, constraints

Statistical Constraint

The objective of statistical constraints is to develop constraints and propagators on the common statistical objects such as the mean, variance, median, percentile, histogram…. These constraints are used for example to balance the workload between persons in assignment problems.