On the reification of global constraints

被引：15
|
作者：
Beldiceanu, Nicolas [2 ]
Carlsson, Mats [3 ]
Flener, Pierre [1 ]
Pearson, Justin [1 ]
机构：
[1] Uppsala Univ, S-75105 Uppsala, Sweden
[2] Mines Nantes, TASC Team, CNRS, INRIA, F-44307 Nantes, France
[3] SICS, S-16429 Kista, Sweden
来源：
CONSTRAINTS | 2013年 / 18卷 / 01期
基金：
瑞典研究理事会;
关键词：
Global constraint; Reification; Reformulation; Functional dependency;
D O I：
10.1007/s10601-012-9132-0
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on the observation that most global constraints can be reformulated as a conjunction of total function constraints together with a constraint that can be easily reified.
引用
收藏
页码：1 / 6
页数：6
相关论文
共 50 条
  • [1] On the reification of global constraints
    Nicolas Beldiceanu
    Mats Carlsson
    Pierre Flener
    Justin Pearson
    Constraints, 2013, 18 : 1 - 6
  • [2] On the Reification of Global Constraints (Abstract)
    Beldiceanu, Nicolas
    Carlsson, Mats
    Flener, Pierre
    Pearson, Justin
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 733 - 733
  • [3] Efficient Reification of Table Constraints
    Khong, Minh Thanh
    Deville, Yves
    Schaus, Pierre
    Lecoutre, Christophe
    2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), 2017, : 118 - 122
  • [4] The reification of irrelevancy: A comment on "The reification of normalcy"
    Murray, JP
    Wartella, EA
    JOURNAL OF HEALTH COMMUNICATION, 1999, 4 (03) : 227 - 231
  • [5] REIFICATION
    COLIGNON, RA
    THEORY AND SOCIETY, 1989, 18 (01) : 83 - 123
  • [6] Constructing global data: Automated techniques in ecological monitoring, precaution and reification of risk
    Thayyil, Naveen
    BIG DATA & SOCIETY, 2018, 5 (01):
  • [7] Global grammar constraints
    Quimper, Claude-Guy
    Walsh, Toby
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 751 - 755
  • [8] The complexity of global constraints
    Bessiere, C
    Hebrard, E
    Hnich, B
    Walsh, T
    PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 112 - 117
  • [9] SAT with Global Constraints
    Chowdhury, Md Solimul
    You, Jia-Huai
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 73 - 80
  • [10] The tractability of global constraints
    Bessiere, C
    Hebrard, E
    Hnich, B
    Walsh, T
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 716 - 720
12345