GRASPER: constraint reasoning with graphs

Francisco de Moura E Castro Ascensão de Azevedo

doi:10.1504/IJRIS.2010.029816

GRASPER: constraint reasoning with graphs

Francisco de Moura E Castro Ascensão de Azevedo

Research output: Contribution to journal › Article › peer-review

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.

Original language	Unknown
Pages (from-to)	73-92
Journal	International Journal of Reasoning-based Intelligent Systems
Volume	2
Issue number	1
DOIs	https://doi.org/10.1504/IJRIS.2010.029816
Publication status	Published - 1 Jan 2010

Access to Document

10.1504/IJRIS.2010.029816

Cite this

@article{c2dbd899b39642869dcde11a1a35bb41,

title = "GRASPER: constraint reasoning with graphs",

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{\textquoteright}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 = "sets, constraint logic programming, graphs, constraint reasoning",

author = "Azevedo, {Francisco de Moura E Castro Ascens{\~a}o de}",

note = "Indexado em: - Academic OneFile - Expanded Academic ASAP - Google Scholar - Inspec - Scirus",

year = "2010",

month = jan,

day = "1",

doi = "10.1504/IJRIS.2010.029816",

language = "Unknown",

volume = "2",

pages = "73--92",

journal = "International Journal of Reasoning-based Intelligent Systems",

issn = "1755-0556",

publisher = "Inderscience",

number = "1",

}

TY - JOUR

T1 - GRASPER: constraint reasoning with graphs

AU - Azevedo, Francisco de Moura E Castro Ascensão de

N1 - Indexado em: - Academic OneFile - Expanded Academic ASAP - Google Scholar - Inspec - Scirus

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

KW - sets

KW - constraint logic programming

KW - graphs

KW - constraint reasoning

U2 - 10.1504/IJRIS.2010.029816

DO - 10.1504/IJRIS.2010.029816

M3 - Article

SN - 1755-0556

VL - 2

SP - 73

EP - 92

JO - International Journal of Reasoning-based Intelligent Systems

JF - International Journal of Reasoning-based Intelligent Systems

IS - 1

ER -