Artificial Intelligence

ISSNs: 0004-3702

Elsevier

Scopus rating (2021): CiteScore 8.7 SJR 1.673 SNIP 3.13

Journal

Publications

  1. 2022
  2. Conjure: Automatic Generation of Constraint Models from Problem Specifications

    Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 1 Sep 2022

    Article in Artificial Intelligence

  3. SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

    Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., 1 Jan 2022

    Article in Artificial Intelligence

  4. 2019
  5. 2017
  6. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017

    Article in Artificial Intelligence

  7. 2015
  8. 2014
  9. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  10. 2011
  11. 2010
  12. Implementing logical connectives in constraint programming

    Jefferson, C. A., Moore, N. C. A., Nightingale, P. & Petrie, K. E., 1 Nov 2010

    Article in Artificial Intelligence

  13. 2009
  14. Filtering algorithms for the multiset ordering constraint

    Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Feb 2009

    Article in Artificial Intelligence

  15. 2008
  16. Solving quantified constraint satisfaction problems

    Gent, I. P., Nightingale, P., Rowley, A. & Stergiou, K., 1 Apr 2008

    Article in Artificial Intelligence

  17. 2006
  18. Propagation algorithms for lexicographic ordering constraints

    Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Jul 2006

    Article in Artificial Intelligence

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations