Skip to content

Research at St Andrews

Generic SBDD Using Computational Group Theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DOI

Details

Original languageEnglish
Title of host publication Principles and Practice of Constraint Programming – CP 2003
Subtitle of host publication9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings
EditorsFrancesca Rossi
PublisherSpringer
Pages333-347
Number of pages15
ISBN (Print)978-3-540-20202-8
DOIs
Publication statusPublished - Oct 2003

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer
Volume2833
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In : Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticle

  2. Groupoids and Conditional Symmetry

    Gent, I. P., Kelsey, T. W., Linton, S. A., Pearson, J., Roney-Dougal, C. M. & Bessiere, C., Sep 2007, p. 823-830.

    Research output: Contribution to conferencePaper

  3. Conditional symmetry breaking

    Gent, I. P., Kelsey, T., Linton, S. A., McDonald, I., Miguel, I. & Smith, B. M., Oct 2005, Principles and practice of constraint programming--CP 2005: 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : Proceedings . Van Beek, P. (ed.). Springer, p. 256-270 15 p. (Lecture notes in computer science; vol. 3709).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Symmetry and consistency

    Gent, I. P., Kelsey, T., Linton, S. & Roney-Dougal, C., 2005, Principles and Practice of Constraint Programming - CP 2005: Proceedings of the 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. van Beek, P. (ed.). Springer-Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science; vol. 3709).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015, In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5.

    Research output: Contribution to journalArticle

ID: 1729976

Top