Publication
Detail
Publication date: 01/01/2009Lazy constraint imposing for improving the path constraint
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 |