Title: GRASPER: constraint reasoning with graphs

Authors: R.D. Viegas, F.A. Azevedo

Addresses: Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Quinta da Torre, 2829-516 Caparica, Portugal. ' Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Quinta da Torre, 2829-516 Caparica, Portugal

Abstract: 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, efficient and intuitive framework for modelling and solving hard combinatorial problems by introducing graph variables. We specify GRASPER|s core and higher level constraints and make use of it to model a problem in the context of biochemical networks showing promising results, when compared to an existing similar solver, for different search heuristics.

Keywords: constraint logic programming; constraint reasoning; graphs; sets; graph constraint solver; modelling; biochemical networks; search heuristics.

DOI: 10.1504/IJRIS.2010.029816

International Journal of Reasoning-based Intelligent Systems, 2010 Vol.2 No.1, pp.73 - 92

Published online: 02 Dec 2009 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article