Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2015
  2. Published

    Automatically generating streamlined constraint models with ESSENCE and CONJURE

    Wetter, J., Akgun, O. & Miguel, I., 13 Aug 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Springer, p. 480-496 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9255 (LNCS)).

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

  3. Published

    Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

    Nightingale, P., Spracklen, P. & Miguel, I. J., Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Springer, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science; vol. 9255).

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

  4. Published

    Cloud-based e-Infrastructure for scheduling astronomical observations

    Wetter, J. P., Akgun, O., Barker, A. D., Dominik, M., Miguel, I. J. & Varghese, B., 31 Aug 2015, 2015 IEEE 11th International Conference on e-Science (e-Science) (2015). IEEE Computer Society, p. 362-370

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

  5. Published

    Type-based allocation analysis for co-recursion in lazy functional languages

    Vasconcelos, P. B., Jost, S., Florido, M. & Hammond, K., 2015, Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Vitek, J. (ed.). Springer-Verlag, Vol. 9032. p. 787-811 25 p. (Lecture Notes in Computer Science).

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

  6. Published

    Well quasi-order in combinatorics: embeddings and homomorphisms

    Huczynska, S. & Ruskuc, N., Jul 2015, Surveys in Combinatorics 2015. Czumaj et al., A. (ed.). Cambridge: Cambridge University Press, p. 261-293 (London Mathematical Society Lecture Note Series; no. 424).

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

ID: 1395

Top