Generic SBDD Using Computational Group Theory

Ian Philip Gent; W Harvey; Thomas William Kelsey; Stephen Alexander Linton

doi:10.1007/b13743

Generic SBDD Using Computational Group Theory

Ian Philip Gent, W Harvey, Thomas William Kelsey, Stephen Alexander Linton

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Principles and Practice of Constraint Programming – CP 2003
Subtitle of host publication	9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings
Editors	Francesca Rossi
Publisher	Springer
Pages	333-347
Number of pages	15
ISBN (Print)	978-3-540-20202-8
DOIs	https://doi.org/10.1007/b13743
Publication status	Published - Oct 2003

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2833
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/b13743

Cite this

Gent, I. P., Harvey, W., Kelsey, T. W., & Linton, S. A. (2003). Generic SBDD Using Computational Group Theory. In F. Rossi (Ed.), Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings (pp. 333-347). ( Lecture Notes in Computer Science; Vol. 2833). Springer. https://doi.org/10.1007/b13743

@inproceedings{adb89090b82b4b08be40cce509aad7a8,

title = "Generic SBDD Using Computational Group Theory",

author = "Gent, {Ian Philip} and W Harvey and Kelsey, {Thomas William} and Linton, {Stephen Alexander}",

year = "2003",

month = oct,

doi = "10.1007/b13743",

language = "English",

isbn = "978-3-540-20202-8",

series = " Lecture Notes in Computer Science",

publisher = "Springer",

pages = "333--347",

editor = "Francesca Rossi",

booktitle = "Principles and Practice of Constraint Programming – CP 2003",

address = "Netherlands",

}

Gent, IP, Harvey, W, Kelsey, TW & Linton, SA 2003, Generic SBDD Using Computational Group Theory. in F Rossi (ed.), Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Lecture Notes in Computer Science, vol. 2833, Springer, pp. 333-347. https://doi.org/10.1007/b13743

Generic SBDD Using Computational Group Theory. / Gent, Ian Philip; Harvey, W; Kelsey, Thomas William et al.
Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. ed. / Francesca Rossi. Springer, 2003. p. 333-347 ( Lecture Notes in Computer Science; Vol. 2833).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Generic SBDD Using Computational Group Theory

AU - Gent, Ian Philip

AU - Harvey, W

AU - Kelsey, Thomas William

AU - Linton, Stephen Alexander

PY - 2003/10

Y1 - 2003/10

UR - http://www.scopus.com/inward/record.url?scp=26844489921&partnerID=8YFLogxK

UR - http://www.springerlink.com/content/u9hj5e91qukk663u/?p=c071f5ca9c8249c8b8f343c3922f48dc&pi=32

U2 - 10.1007/b13743

DO - 10.1007/b13743

M3 - Conference contribution

SN - 978-3-540-20202-8

T3 - Lecture Notes in Computer Science

SP - 333

EP - 347

BT - Principles and Practice of Constraint Programming – CP 2003

A2 - Rossi, Francesca

PB - Springer

ER -

Generic SBDD Using Computational Group Theory

Publication series

Access to Document

Other files and links

Cite this