This report presents a catalogue of global constraints where each constraint is explicitly
described in terms of graph properties and/or automata and/or first order logical formulae …

Constrained path problems have to do with finding paths in graphs subject to constraints.
We present a constraint programming approach for solving the Ordered disjoint-paths …

This report presents a catalogue of global constraints where each constraint is explicitly
described in terms of graph properties and/or automata and/or first order logical formulae …

Vehicular ad-hoc network (VANET) is a technique that uses cars moved in cities or highways
as nodes in wireless networks. Each car in these networks works as a router and allows cars …

• Peter Van Roy, my supervisor, who gave me the opportunity to work as a research
assistant at Université Catholique de Louvain (UCL) from July 2001 until April 2005 in the …

We present a propagator which we call Reachability that implements a generalized
reachability constraint on a directed graph g. Given a source node source in g, we can …

Constrained graph problems are about finding graphs respecting a given set of constraints.
These problems occur in many areas. For example, security properties, biological reaction …

CICLOPS is a workshop that aims at discussing and exchanging experiences on the design,
implementation, and optimization of logic and constraint (logic) programming systems, or …