Lazy Constraint Imposing for Improving the Path Constraint

Ruben Duarte Viegas, Francisco Azevedo
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