Efficiently Solving Problems Where the Solutions Form a Group

Karen E. Petrie; Christopher Jefferson

doi:10.1007/978-3-540-85958-1_36

Efficiently Solving Problems Where the Solutions Form a Group

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

Abstract

Group theory is the mathematical study of symmetry. This paper presents a CP method of efficiently solving group-theoretic problems, where each of the solutions is an element of a group. This method allows us to answer questions in group theory which are computationally unfeasible with traditional CP techniques.

Original language	English
Title of host publication	Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings
Editors	P. J. Stuckey
Publisher	Springer
Pages	529-533
Number of pages	5
ISBN (Print)	978-3-540-85957-4
DOIs	https://doi.org/10.1007/978-3-540-85958-1_36
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science
Volume	5202
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-85958-1_36

Cite this

Petrie, K. E., & Jefferson, C. (2008). Efficiently Solving Problems Where the Solutions Form a Group. In P. J. Stuckey (Ed.), Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings (pp. 529-533). (Lecture Notes in Computer Science; Vol. 5202). Springer. https://doi.org/10.1007/978-3-540-85958-1_36

@inproceedings{b9b2ca72a9da4fab9b0152e19d591496,

title = "Efficiently Solving Problems Where the Solutions Form a Group",

abstract = "Group theory is the mathematical study of symmetry. This paper presents a CP method of efficiently solving group-theoretic problems, where each of the solutions is an element of a group. This method allows us to answer questions in group theory which are computationally unfeasible with traditional CP techniques.",

author = "Petrie, {Karen E.} and Christopher Jefferson",

year = "2008",

doi = "10.1007/978-3-540-85958-1_36",

language = "English",

isbn = "978-3-540-85957-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "529--533",

editor = "Stuckey, {P. J.}",

booktitle = "Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings",

address = "Netherlands",

}

Petrie, KE & Jefferson, C 2008, Efficiently Solving Problems Where the Solutions Form a Group. in PJ Stuckey (ed.), Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings. Lecture Notes in Computer Science, vol. 5202, Springer, pp. 529-533. https://doi.org/10.1007/978-3-540-85958-1_36

Efficiently Solving Problems Where the Solutions Form a Group. / Petrie, Karen E.; Jefferson, Christopher.
Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings. ed. / P. J. Stuckey. Springer, 2008. p. 529-533 (Lecture Notes in Computer Science; Vol. 5202).

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

TY - GEN

T1 - Efficiently Solving Problems Where the Solutions Form a Group

AU - Petrie, Karen E.

AU - Jefferson, Christopher

PY - 2008

Y1 - 2008

N2 - Group theory is the mathematical study of symmetry. This paper presents a CP method of efficiently solving group-theoretic problems, where each of the solutions is an element of a group. This method allows us to answer questions in group theory which are computationally unfeasible with traditional CP techniques.

AB - Group theory is the mathematical study of symmetry. This paper presents a CP method of efficiently solving group-theoretic problems, where each of the solutions is an element of a group. This method allows us to answer questions in group theory which are computationally unfeasible with traditional CP techniques.

U2 - 10.1007/978-3-540-85958-1_36

DO - 10.1007/978-3-540-85958-1_36

M3 - Conference contribution

SN - 978-3-540-85957-4

T3 - Lecture Notes in Computer Science

SP - 529

EP - 533

BT - Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings

A2 - Stuckey, P. J.

PB - Springer

ER -

Efficiently Solving Problems Where the Solutions Form a Group

Abstract

Publication series

Access to Document

Fingerprint

Cite this