Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
GRASPER: constraint reasoning with graphs
2010
Viegas and Azevedo 2010
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.
Journal
Ruben Duarte Viegas, Francisco Azevedo
International Journal of Reasoning-based Intelligent Systems (IJRIS)
-
-
2
1
73-92
-
-
-
-
Publication files
- click here to download - pdf 548 KB
Export formats
Ruben Duarte Viegas and Francisco Azevedo, GRASPER: constraint reasoning with graphs, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 2, No. 1, Pag. 73-92, 2010.
<b><a href="/people/members/view.php?code=f2e3c01c6ab537867b7297569379dfba" class="author">Ruben Duarte Viegas</a> and <a href="/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98" class="author">Francisco Azevedo</a></b>, <u>GRASPER: constraint reasoning with graphs</u>, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 2, No. 1, Pag. 73-92, 2010.
@article {Viegas and Azevedo 2010, author = {Ruben Duarte Viegas and Francisco Azevedo}, title = {GRASPER: constraint reasoning with graphs}, journal = {International Journal of Reasoning-based Intelligent Systems (IJRIS)}, volume = {2}, number = {1}, pages = {73-92}, 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}, year = {2010}, }
Publication's urls
/publications/view.php?code=e31d2002c948c4bf33c7fa5f6ce45d3a
/publications/view.php?code=Viegas and Azevedo 2010
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT