Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2014
  2. Published

    Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., Jun 2014, In : Artificial Intelligence. 211, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  3. Published

    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

  4. 2013
  5. Forthcoming

    Algorithmic Generalisations of Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Linton, S. A., Parker, R. & Burdges, J. P., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journalArticle

  6. Published

    Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D., Feb 2013, In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

  7. Published

    Multiplicity-free permutation characters of covering groups of sporadic simple groups

    Linton, S. A. & Mpono, Z. E., 2013, In : Math. J. Okayama Univ.. 55, p. 145-155 11 p.

    Research output: Contribution to journalArticle

  8. Published

    Regular languages of plus- and minus-(in)decomposable permutations

    Hoffmann, R. & Linton, S., 2013, In : Pure Math. Appl. (PU.M.A.). 24, 2, p. 143-150 8 p.

    Research output: Contribution to journalArticle

  9. 2012
  10. Published

    Equivalence classes of permutations under various relations generated by constrained transpositions

    Linton, S. A., Propp, J., Roby, T. & West, J., 2 Nov 2012, In : Journal of Integer Sequences. 15, 9, 23 p., 12.9.1.

    Research output: Contribution to journalArticle

  11. Published

    Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticle

  12. 2011
  13. Published

    On convex permutations

    Albert, M. H., Linton, S. A., Ruskuc, N., Vatter, V. & Waton, S., May 2011, In : Discrete Mathematics. 311, 8-9, p. 715-722

    Research output: Contribution to journalArticle

  14. Published

    Torsion Units in Integral Group Rings of Conway Simple Groups

    Bovdi, V., Konovalov, A. & Linton, S. A., 2011, In : International Journal of Algebra and Computation. 21, 4, p. 615 634 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next
Top