GRASPER: constraint reasoning with graphs

Research output: Contribution to journalArticle


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 languageUnknown
Pages (from-to)73-92
JournalInternational Journal of Reasoning-based Intelligent Systems
Issue number1
Publication statusPublished - 1 Jan 2010

Cite this