Skip to content

Research at St Andrews

University > Research portal > Research organisations > Centre for Interdisciplinary Research in Computational Algeb... > Research publications

Centre for Interdisciplinary Research in Computational Algebra

1 - 10 out of 1,093Page size: 10
  1. 2018
  2. Published

    A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P. 13 Jul 2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. E-pub ahead of print

    A review of literature on parallel constraint solving

    Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C. 2 Aug 2018 In : Theory and Practice of Logic Programming. First View, 34 p.

    Research output: Contribution to journal › Article

  4. E-pub ahead of print

    Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Contribution to journal › Article

  5. Published

    Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z. 2018 Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. Published

    Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice

    Spracklen, P., Akgun, O. & Miguel, I. J. 2018 Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Cham: Springer, p. 362-372 (Lecture Notes in Computer Science; vol. 11008)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  7. Published

    Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journal › Article

  8. E-pub ahead of print

    Automorphism groups of linearly ordered structures and endomorphisms of the ordered set (Q,≤) of rational numbers

    McPhee, J. D., Mitchell, J. D. & Quick, M. 28 Aug 2018 In : Quarterly Journal of Mathematics. Advance articles, 24 p.

    Research output: Contribution to journal › Article

  9. E-pub ahead of print

    Clinical parameters of ovarian hyperstimulation syndrome (OHSS) following different triggers of oocyte maturation in IVF treatment

    Abbara, A., Islam, R., Clarke, S. A., Jeffers, L., Christopoulos, G., Comninos, A. N., Salim, R., Lavery, S. A., Vuong, T. N. L., Humaidan, P., Kelsey, T. W., Trew, G. H. & Dhillo, W. S. 6 Mar 2018 In : Clinical Endocrinology. Early View, 8 p.

    Research output: Contribution to journal › Article

  10. Published

    Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W. 13 Jul 2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  11. E-pub ahead of print

    Computing finite semigroups

    East, J., Egri-Nagy, A., Mitchell, J. D. & Péresse, Y. 14 Feb 2018 In : Journal of Symbolic Computation. 45 p.

    Research output: Contribution to journal › Article

Previous 1 2 3 4 5 6 7 8 ...110 Next

Type

Publication year

Full text

Status

DOI

ID: 1395