Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

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

  2. Published

    The Art and Science of Computing in Large Groups

    Linton, S. A., 1995, Computational Algebra and Number Theory (Sydney, 1992). Kluwer, p. 91-109

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  4. Published

    Symmetric Presentations and Orthogonal Groups

    Campbell, C. M., Havas, G., Linton, S. A. & Robertson, E. F., 1998, The Atlas of Finite Groups: Ten Years On (Birmingham, 1995). Curtis, R. & Wilson, R. (eds.). Cambridge University Press, p. 1-10

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

    Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H-W. & Costanti, M., 2007, Computational Science – ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II. Shi, Y., Albada, G. D. V., Dongarra, J. & Sloot, P. M. A. (eds.). Springer, p. 617-624 8 p. (Lecture Notes in Computer Science; vol. 4488).

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

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

  7. Published

    Generalizations of the Todd-Coxeter Algorithm

    Linton, S. A., 1995, Computational Algebra and Number Theory (Sydney, 1992). Kluwer, p. 29-51

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K., 2007, Trends in Constraint Programming. Benhamou, F., Jussien, N. & O'Sullivan, B. (eds.). ISTE, p. 187-201

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Constructive Recognition of a Black Box Group Isomorphic to GL(n,2)

    Cooperman, G., Finkelstein, L. & Linton, S. A., 1997, Groups and Computation II (New Brunswick, NJ, 1995), vol 28. Finkelstein, L. & Kantor, W. (eds.). American Mathematical Society, p. 85-100

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  11. Published

    Lightweight Formal Methods for Computer Algebra Systems

    Martin, U. H. M., Dunstan, MN., Kelsey, T. W. & Linton, S. A., 1998, Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, p. 80-87 8 p.

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

  12. Published

    Formal Methods for Extensions to CAS

    Dunstan, MN., Kelsey, T. W., Linton, S. A. & Martin, U., 1999, Proceedings of Formal Methods 1999. Springer-Verlag, p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).

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

Top