For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Dundee

Return to search Previous output Next output
Output 0 of 0 in the submission
Article title

Implementing logical connectives in constraint programming

Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
174
Issue number
16-17
First page of article
1407
ISSN of journal
0004-3702
Year of publication
2010
Number of additional authors
3
Additional information

<11> This paper is part of an ongoing very active collaboration between the University of Dundee and the University of St Andrews. This paper covers the principle of logical connectives in constraint programming. It has made modeling of problems with multiple logical connective far easier. This can be shown by the fact that this technique was used to model the NHL playoffs last year. This paper lead to a new collaboration with the multinational company Adobe, who now employe one of the coauthors.

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-