Global constraint catalog
N Beldiceanu, M Carlsson, JX Rampon - 2010 - diva-portal.org
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 …
described in terms of graph properties and/or automata and/or first order logical formulae …
GRASPER: Constraint Reasoning with graphs
RD Viegas, FA Azevedo - International Journal of …, 2010 - inderscienceonline.com
In this paper we present GRASPER, a graph constraint solver based on set constraints.
GRASPER is a constraint logic-based reasoning framework aiming to provide a powerful …
GRASPER is a constraint logic-based reasoning framework aiming to provide a powerful …