Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Conference contribution › Research
  2. 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

  3. Published

    Towards high-performance computational algebra with GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the Third International Congress on Mathematical Software: Kobe, Japan, September 13-17, 2010. Fukada, K., van der Hoeven, J., Joswig, M. & Takayama, N. (eds.). Springer, p. 58-61 (Lecture Notes in Computer Science; vol. 6327).

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

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

  5. Other contribution › Research
  6. Published

    Equivalence relations of permutations generated by constrained transpositions

    Linton, S., Propp, J., Roby, T. & West, J., 2010, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010). Nancy: Assoc. Discrete Math. Theor. Comput. Sci., Nancy, p. 909-920 12 p. (Discrete Math. Theor. Comput. Sci. Proc., AN).

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

Previous 1 2 3 Next
Top