Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2005
  2. Published

    Consistency for quantified constraint satisfaction problems

    Nightingale, P., 2005, Unknown Publisher. 5 p.

    Research output: Book/ReportBook

  3. Published

    FSM-Hume is Finite State Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect

    Hammond, K., Michaelson, G. & Sérot, J., 2005, Unknown Publisher.

    Research output: Book/ReportBook

  4. Published

    Local and global complete solution learning methods for QBF

    Gent, I. P. & Rowley, A. G. D., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  5. Published

    The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, Unknown Publisher. 15 p.

    Research output: Book/ReportBook

  6. Published

    Transforming and refining abstract constraint specifications

    Frisch, A. M., Hnich, B., Miguel, I., Smith, B. M. & Walsh, T., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  7. 2006
  8. Published

    A hybrid Benders' decomposition method for solving Stochastic Constraint Programs with linear recourse

    Tarim, S. A. & Miguel, I., 2006, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  9. 2007
  10. Published

    Groups - St Andrews 1981 (new edition)

    Campbell, C. M. & Robertson, E. F., 2007, Cambridge University Press. 373 p. (London Mathematical Society Lecture Note Series 71)

    Research output: Book/ReportBook

  11. Published

    Groups St Andrews 2005, Volume 1

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 355 p. (London Mathematical Lecture Note Series 387)

    Research output: Book/ReportBook

  12. Published

    Groups St Andrews 2005, Volume 2

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 345 p. (London Mathematical Society Lecture Note Series 388)

    Research output: Book/ReportBook

  13. 2008
  14. Published

    Design of comparative experiments

    Bailey, R. A., 2008, Cambridge: Cambridge University Press. 330 p. (Cambridge Series in Statistical and Probabilistic Mathematics)

    Research output: Book/ReportBook

ID: 1395

Top