Lazy Constraint Imposing for Improving the Path Constraint

Francisco de Moura E Castro Ascensão de Azevedo

Lazy Constraint Imposing for Improving the Path Constraint

Francisco de Moura E Castro Ascensão de Azevedo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper we propose a lazy constraint imposing mechanism for improving the path constraint in GRASPER, a state-of-the-art graph constraint solver, having obtained very promising results in terms of both time and space in solving an interesting problem in the Biochemistry subject area, in comparison with CP(Graph), the state-of-the-art solver.

Original language	Unknown
Title of host publication	Proceedings of TERMGRAPH
Editors	A Corradini
Publisher	Università di Pisa
Pages	113-124
Publication status	Published - 1 Jan 2009
Event	5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009) - Duration: 1 Jan 2009 → …

Conference

Conference	5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)
Period	1/01/09 → …

Cite this

@inproceedings{9014b529453c479eaf8fa38dca250458,

title = "Lazy Constraint Imposing for Improving the Path Constraint",

abstract = "In this paper we propose a lazy constraint imposing mechanism for improving the path constraint in GRASPER, a state-of-the-art graph constraint solver, having obtained very promising results in terms of both time and space in solving an interesting problem in the Biochemistry subject area, in comparison with CP(Graph), the state-of-the-art solver.",

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

year = "2009",

month = jan,

day = "1",

language = "Unknown",

pages = "113--124",

editor = "A Corradini",

booktitle = "Proceedings of TERMGRAPH",

publisher = "Universit{\`a} di Pisa",

note = "null ; Conference date: 01-01-2009",

}

TY - GEN

T1 - Lazy Constraint Imposing for Improving the Path Constraint

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

PY - 2009/1/1

Y1 - 2009/1/1

N2 - In this paper we propose a lazy constraint imposing mechanism for improving the path constraint in GRASPER, a state-of-the-art graph constraint solver, having obtained very promising results in terms of both time and space in solving an interesting problem in the Biochemistry subject area, in comparison with CP(Graph), the state-of-the-art solver.

AB - In this paper we propose a lazy constraint imposing mechanism for improving the path constraint in GRASPER, a state-of-the-art graph constraint solver, having obtained very promising results in terms of both time and space in solving an interesting problem in the Biochemistry subject area, in comparison with CP(Graph), the state-of-the-art solver.

M3 - Conference contribution

SP - 113

EP - 124

BT - Proceedings of TERMGRAPH

A2 - Corradini, A

PB - Università di Pisa

Y2 - 1 January 2009

ER -