Lazy Constraint Imposing for Improving the Path Constraint Export

@article{citeulike:6051817, 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 = {Viegas, Ruben D. and Azevedo, Francisco}, citeulike-article-id = {6051817}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2009.10.020}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S157106610900440X}, day = {06}, doi = {10.1016/j.entcs.2009.10.020}, issn = {15710661}, journal = {Electronic Notes in Theoretical Computer Science}, month = {November}, number = {4}, pages = {113--128}, posted-at = {2009-10-31 21:51:05}, title = {Lazy Constraint Imposing for Improving the Path Constraint}, url = {http://dx.doi.org/10.1016/j.entcs.2009.10.020}, volume = {253}, year = {2009} }

TY - JOUR ID - citeulike:6051817 L3 - citeulike-article-id:6051817 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. IS - 4 JF - Electronic Notes in Theoretical Computer Science SN - 15710661 EP - 128 TI - Lazy Constraint Imposing for Improving the Path Constraint VL - 253 SP - 113 AU - Viegas, Ruben AU - Azevedo, Francisco PY - 2009/11/06/ UR - http://dx.doi.org/10.1016/j.entcs.2009.10.020 ER -