Research output per year
Research output per year
- 11 results
Search results
-
2018
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., Sept 2018, In: Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2014
Generating custom propagators for arbitrary constraints
Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., Jun 2014, In: Artificial Intelligence. 211, p. 1-33 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2011
Exploiting short supports for generalised arc consistency for arbitrary constraints
Nightingale, P., Gent, I. P., Jefferson, C. A. & Miguel, I. J., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011): Barcelona, Catalonia, Spain, July 16-22, 2011. Walsh, T. (ed.). Menlo Park, California: IJCAI/AAAI, p. 623-628 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The Extended Global Cardinality Constraint: An Empirical Survey
Nightingale, P., Feb 2011, In: Artificial Intelligence. 175, 2, p. 586-614 29 p.Research output: Contribution to journal › Article › peer-review
-
2010
Implementing logical connectives in constraint programming
Jefferson, C. A., Moore, N. C. A., Nightingale, P. & Petrie, K. E., Nov 2010, In: Artificial Intelligence. 174, 16-17, p. 1407-1429 23 p.Research output: Contribution to journal › Article › peer-review
-
Lazy Explanations for Constraint Propagators
Moore, N. C. A., Gent, I. P. & Miguel, I. J., 2010, Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages. Carro, M. & Pena, R. (eds.). Springer, Vol. 5937. p. 217-233 16 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2009
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Huczynska, S., McKay, P., Miguel, I. J. & Nightingale, P. W., 2009, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. Gent, I. (ed.). Springer, Vol. 5732. p. 50-64 15 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Modelling Equidistant Frequency Permutation Arrays in Constraints
Gent, I. P., McKay, P., Miguel, I., Nightingale, P. & Huczynska, S., 2009, Eighth Symposium on Abstraction, Reformulation, and Approximation,: SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009. Bulitko, V. & Beck, C. J. (eds.). AAAI PressResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Non-binary quantified CSP: algorithms and modelling
Nightingale, P., Dec 2009, In: Constraints. 14, 4, p. 539-581 43 p.Research output: Contribution to journal › Article › peer-review
-
2008
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Gent, I. P., Miguel, I. J. & Nightingale, P., Dec 2008, In: Artificial Intelligence. 172, 18, p. 1973-2000 27 p.Research output: Contribution to journal › Article › peer-review
-
Solving quantified constraint satisfaction problems
Gent, I. P., Nightingale, P., Rowley, A. & Stergiou, K., Apr 2008, In: Artificial Intelligence. 172, 6-7, p. 738-771 34 p.Research output: Contribution to journal › Article › peer-review