Lazy constraint imposing for improving the path constraint
RD Viegas, F Azevedo - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
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 …
constraint in GRASPER, a state-of-the-art graph constraint solver, having obtained very …