Lazy constraint imposing for improving the path constraint

Ruben Viegas, Ruben Viegas, Francisco Azevedo, Francisco Azevedo,

Journal	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Volume	253
Number	4
Journal	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Volume	253
Number	4

Publication