### 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 | |

Publication status | Published - 2008 |

Event | 14th International Conference on Principles and Practice of Constraint Programming - Sydney, Australia Duration: 14 Sep 2008 → 18 Sep 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 | Australia |

City | Sydney |

Period | 14/09/08 → 18/09/08 |

### Cite this

*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). Berlin: Springer . https://doi.org/10.1007/978-3-540-85958-1_36

}

*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.

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

ER -