Efficiently solving problems where the solutions form a group

Karen E. Petrie, Christopher Jefferson

    Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
    Title of host publicationPrinciples and Practice of Constraint Programming
    Subtitle of host publication14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
    EditorsPeter J. Stuckey
    Place of PublicationBerlin
    PublisherSpringer
    Pages529-533
    Number of pages5
    ISBN (Print)9783540859574
    DOIs
    Publication statusPublished - 2008
    Event14th International Conference on Principles and Practice of Constraint Programming - Sydney, Australia
    Duration: 14 Sep 200818 Sep 2008

    Publication series

    NameLecture notes in computer science
    PublisherSpringer
    Volume5202
    ISSN (Print)0302-9743

    Conference

    Conference14th International Conference on Principles and Practice of Constraint Programming
    Abbreviated titleCP 2008
    CountryAustralia
    CitySydney
    Period14/09/0818/09/08

    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). Berlin: Springer . https://doi.org/10.1007/978-3-540-85958-1_36
    Petrie, Karen E. ; Jefferson, Christopher. / Efficiently solving problems where the solutions form a group. Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. editor / Peter J. Stuckey. Berlin : Springer , 2008. pp. 529-533 (Lecture notes in computer science).
    @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",

    }

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

    Petrie KE, Jefferson C. Efficiently solving problems where the solutions form a group. In Stuckey PJ, editor, Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Berlin: Springer . 2008. p. 529-533. (Lecture notes in computer science). https://doi.org/10.1007/978-3-540-85958-1_36