Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published

    Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892).

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

  3. Published

    Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

    Castro, D., Hammond, K. & Sarkar, S., 4 Sep 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York: ACM, p. 4-17 (ACM SIGPLAN Notices; vol. 51, no. 9).

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

  4. Published

    Fertility preservation in pre-pubertal girls with cancer: the role of ovarian tissue cryopreservation

    Wallace, W. H. B., Kelsey, T. W. & Anderson, R. A., Jan 2016, In : Fertility and Sterility. 105, 1, p. 6-12 7 p.

    Research output: Contribution to journalArticle

  5. Submitted

    Finite index subgroups of R. Thompson’s group F

    Bleak, C. P. & Wassink, B., 28 Jan 2016, (Submitted) In : Groups. Complexity. Cryptology. 26 p.

    Research output: Contribution to journalArticle

  6. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.2

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 20 Feb 2016

    Research output: Non-textual formSoftware

  7. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.3

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 19 Mar 2016

    Research output: Non-textual formSoftware

  8. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.4

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 4 Jun 2016

    Research output: Non-textual formSoftware

  9. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.5

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 25 Sep 2016

    Research output: Non-textual formSoftware

  10. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.6

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 12 Nov 2016

    Research output: Non-textual formSoftware

  11. Published

ID: 1395

Top