TY - JOUR
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.
U2 - 10.1016/j.entcs.2009.10.020
DO - 10.1016/j.entcs.2009.10.020
M3 - Article
SN - 1571-0661
VL - 253
SP - 113
EP - 128
JO - Electronic Notes In Theoretical Computer Science
JF - Electronic Notes In Theoretical Computer Science
IS - 4
ER -