St Andrews GAP Centre

Filter
Conference contribution

Search results

  • 2023

    CONJURE: Automatic generation of constraint models from problem specifications (extended abstract)

    Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 19 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6833-6838 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

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

  • 2021

    Finding subgraphs with side constraints

    Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P. & Zschaler, S., 5 Jul 2021, Integration of constraint programming, artificial intelligence, and operations research - 18th international conference, CPAIOR 2021, proceedings. Stuckey, P. J. (ed.). Cham: Springer, p. 348-364 17 p. (Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics); vol. 12735).

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

    Open Access
    File
    17 Downloads (Pure)

  • Maximal subgroups of finite simple groups: classifications and applications

    Roney-Dougal, C. M., 1 Jun 2021, Surveys in Combinatorics 2021. Dabrowski, K. K., Gadouleau, M., Georgiou, N., Johnson, M., Mertzios, G. B. & Paulusma, D. (eds.). Cambridge University Press, p. 343-370 (London Mathematical Society Lecture Note Series; vol. 470).

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

    Open Access
    File
    136 Downloads (Pure)

  • Towards generic explanations for pen and paper puzzles with MUSes

    Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).

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

    Open Access
    File
    8 Downloads (Pure)

  • Towards reformulating Essence specifications for robustness

    Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I., Nightingale, P. & Salamon, A. Z., 25 Oct 2021, ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). 12 p.

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

    Open Access
    File
    21 Downloads (Pure)
  • 2020

    The Copson and Curle lectures

    Campbell, C. M. & Robertson, E. F., 20 May 2020, Proceedings of the Conference on the History of Mathematics and Teaching of Mathematics, Miskolc, 2020. Kortesi, P. (ed.). Miskolc: University of Miskolc, 11 p.

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

  • 2019

    Athanor: high-level local search over abstract constraint specifications in Essence

    Attieh, S., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

    Open Access
    File
    1 Citation (Scopus)
    4 Downloads (Pure)

  • Sequential and parallel solution-biased search for subgraph algorithms

    Archibald, B., Dunlop, F., Hoffmann, R., McCreesh, C., Prosser, P. & Trimble, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings. Rousseau, L.-M. & Stergiou, K. (eds.). Cham: Springer, p. 20-38 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11494 LNCS).

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

    Open Access
    File
    22 Citations (Scopus)
    19 Downloads (Pure)
  • 2016

    A theoretical framework for constraint propagator triggering

    Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 20 Jun 2016, Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016. Baier, J. A. & Botea, A. (eds.). AAAI Press, Vol. 2016-January. p. 19-27 9 p.

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

    1 Citation (Scopus)
  • 2009

    In search of a better method to break row and column symmetries

    Grayland, A., Miguel, I. & Roney-Dougal, C. M., 2009, SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. p. 97-104 8 p. (SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation).

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

  • 2006

    Constraint symmetry and solution symmetry

    Cohen, D., Jeavons, P., Jefferson, C., Petrie, K. E. & Smith, B. M., 13 Nov 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. Vol. 2. p. 1589-1592 4 p.

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

    3 Citations (Scopus)
  • 2005

    Symmetry definitions for constraint satisfaction problems

    Cohen, D., Jeavons, P., Jefferson, C., Petrie, K. E. & Smith, B. M., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3709 LNCS).

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

    32 Citations (Scopus)
  • 2004

    Symmetry-breaking as a prelude to implied constraints: A constraint modelling pattern

    Frisch, A. M., Jefferson, C. & Miguel, I., 1 Jan 2004, ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. de Mantaras, R. L. & Saitta, L. (eds.). IOS Press, p. 171-175 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 110).

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

    15 Citations (Scopus)