A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Lazy Constraint Imposing for Improving the Path Constraint
2009
Electronical Notes in Theoretical Computer Science
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.
doi:10.1016/j.entcs.2009.10.020
fatcat:dpfghkb7tzaedkjpnisvpcl6ga