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]

Authors

Ian P. Gent

This author has not been identified. Look up 'Ian P. Gent' in Google

Warwick Harvey

This author has not been identified. Look up 'Warwick Harvey' in Google

Tom Kelsey

This author has not been identified. Look up 'Tom Kelsey' in Google

Steve Linton

This author has not been identified. Look up 'Steve Linton' in Google