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 → … |