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

Karen E. Petrie, Christopher Jefferson

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
Subtitle of host publication	14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
Editors	Peter J. Stuckey
Place of Publication	Berlin
Publisher	Springer
Pages	529-533
Number of pages	5
ISBN (Print)	9783540859574
DOIs	https://doi.org/10.1007/978-3-540-85958-1_36
Publication status	Published - 2008
Event	14th International Conference on Principles and Practice of Constraint Programming - Sydney, Australia Duration: 14 Sept 2008 → 18 Sept 2008

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	5202
ISSN (Print)	0302-9743

Conference

Conference	14th International Conference on Principles and Practice of Constraint Programming
Abbreviated title	CP 2008
Country/Territory	Australia
City	Sydney
Period	14/09/08 → 18/09/08

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{433ca7935a184fb6a4990334a09e60b7,

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 = "9783540859574",

series = "Lecture notes in computer science",

publisher = "Springer ",

pages = "529--533",

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

booktitle = "Principles and Practice of Constraint Programming",

note = "14th International Conference on Principles and Practice of Constraint Programming , CP 2008 ; Conference date: 14-09-2008 Through 18-09-2008",

}

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 , Berlin, pp. 529-533, 14th International Conference on Principles and Practice of Constraint Programming , Sydney, Australia, 14/09/08. 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. / Peter J. Stuckey. Berlin: 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 - 9783540859574

T3 - Lecture notes in computer science

SP - 529

EP - 533

BT - Principles and Practice of Constraint Programming

A2 - Stuckey, Peter J.

PB - Springer

CY - Berlin

T2 - 14th International Conference on Principles and Practice of Constraint Programming

Y2 - 14 September 2008 through 18 September 2008

ER -

Efficiently solving problems where the solutions form a group

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this