Lazy Constraint Imposing for Improving the Path Constraint

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 languageUnknown
Title of host publicationProceedings of TERMGRAPH
EditorsA Corradini
PublisherUniversità di Pisa
Pages113-124
Publication statusPublished - 1 Jan 2009
Event5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009) -
Duration: 1 Jan 2009 → …

Conference

Conference5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)
Period1/01/09 → …

Cite this

Azevedo, F. D. M. E. C. A. D. (2009). Lazy Constraint Imposing for Improving the Path Constraint. In A. Corradini (Ed.), Proceedings of TERMGRAPH (pp. 113-124). Università di Pisa.
Azevedo, Francisco de Moura E Castro Ascensão de. / Lazy Constraint Imposing for Improving the Path Constraint. Proceedings of TERMGRAPH. editor / A Corradini. Università di Pisa, 2009. pp. 113-124
@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 = "1",
day = "1",
language = "Unknown",
pages = "113--124",
editor = "A Corradini",
booktitle = "Proceedings of TERMGRAPH",
publisher = "Universit{\`a} di Pisa",

}

Azevedo, FDMECAD 2009, Lazy Constraint Imposing for Improving the Path Constraint. in A Corradini (ed.), Proceedings of TERMGRAPH. Università di Pisa, pp. 113-124, 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), 1/01/09.

Lazy Constraint Imposing for Improving the Path Constraint. / Azevedo, Francisco de Moura E Castro Ascensão de.

Proceedings of TERMGRAPH. ed. / A Corradini. Università di Pisa, 2009. p. 113-124.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

ER -

Azevedo FDMECAD. Lazy Constraint Imposing for Improving the Path Constraint. In Corradini A, editor, Proceedings of TERMGRAPH. Università di Pisa. 2009. p. 113-124