Generic SBDD Using Computational Group Theory

Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton. Generic SBDD Using Computational Group Theory. In Francesca Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Volume 2833 of Lecture Notes in Computer Science, pages 333-347, Springer, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.