Output details
11 - Computer Science and Informatics
University of St Andrews
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
URL
-
Number of additional authors
3
Additional information
<11>This paper covers the principle of logical connectives in constraint programming. It has provided a fundamental extension to the language used by constraint solvers and has made modeling of problems with multiple logical connectives far easier. AIJ is the best general AI journal. This paper is part of an ongoing very active collaboration between the University of St Andrews and the University of Dundee. The results of this paper are a fundamental part of the open-source Minion constraint solver.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Artificial intelligence
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
