Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2006
  2. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K. E., Sep 2006, p. 17-23.

    Research output: Contribution to conferencePaper

  3. 2005
  4. Published

    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

  5. Published

    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

  6. Published

    The insertion encoding of permutations

    Albert, M. H., Linton, S. & Ruskuc, N., 19 Sep 2005, In : Electronic Journal of Combinatorics. 12, 1, p. - 31 p., R47.

    Research output: Contribution to journalArticle

  7. 2004
  8. Published
  9. Published

    Counting cases in substitope algorithms

    Banks, D. C., Linton, S. A. & Stockmeyer, P. K., Jul 2004, In : IEEE Transactions on Visualization and Computer Graphics. 10, 4, p. 371-384 14 p.

    Research output: Contribution to journalArticle

  10. Published

    Finding the Smallest Image of a Set

    Linton, S. A., 2004, p. 229--234.

    Research output: Contribution to conferencePaper

  11. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

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

  12. 2003
  13. Published

    Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes

    Banks, D. & Linton, S. A., 2003.

    Research output: Contribution to conferencePaper

  14. Published

    Generic SBDD Using Computational Group Theory

    Gent, I. P., Harvey, W., Kelsey, T. W. & Linton, S. A., Oct 2003, Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Rossi, F. (ed.). Springer, p. 333-347 15 p. ( Lecture Notes in Computer Science; vol. 2833).

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

Top