Lazy Constraint Imposing for Improving the Path Constraint

Authors:
Ruben Duarte Viegas;Francisco Azevedo
Affiliations:
CENTRIA - Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal;CENTRIA - Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 0

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Practical digital logic design and testing

Practical digital logic design and testing
Some simplified NP-complete problems

STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Constraint Processing

Constraint Processing
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Cardinal: A Finite Sets Constraint Solver

Constraints
Introduction to Algorithms, Third Edition

Introduction to Algorithms, Third Edition

Quantified Score

Hi-index	0.00

Visualization

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.