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
基金
瑞典研究理事会;
关键词
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 条
  • [21] Reification and Freedom
    Juetten, Timo
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 2011, 59 (05): : 717 - 730
  • [22] THE REIFICATION OF APPEARANCE
    ROSS, JJ
    PHILOSOPHY, 1965, 40 (152) : 113 - 128
  • [23] REIFICATION OF CLUSTERING
    COLLE, HA
    JOURNAL OF VERBAL LEARNING AND VERBAL BEHAVIOR, 1972, 11 (05): : 624 - &
  • [24] Race and Reification
    Dimick, Matthew
    HISTORICAL MATERIALISM-RESEARCH IN CRITICAL MARXIST THEORY, 2023, 31 (03): : 69 - 105
  • [25] METAPHYSICS AND REIFICATION
    INCIARTE, F
    PHILOSOPHY, 1979, 54 (209) : 311 - 327
  • [26] Alienation and Reification
    Worrell, Mark P.
    CRITICAL SOCIOLOGY, 2015, 41 (7-8) : 1183 - 1186
  • [27] Uneven reification
    Paulson, J
    MINNESOTA REVIEW, 2002, (58-60) : 251 - 264
  • [28] Scientific Reification
    Green, David
    Rodger, Craig J.
    Brundell, James B.
    Mills, Steven
    Brook, Peter
    JUNCTURES-THE JOURNAL FOR THEMATIC DIALOGUE, 2015, (16): : 18 - 30
  • [29] FOCUS: REIFICATION
    Jaeggi, Rahel
    Stahl, Titus
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 2011, 59 (05): : 697 - 700
  • [30] REIFICATION + ILLUSTRATIONS
    THOMPSON, D
    MACKEITH, P
    PERSPECTA-THE YALE ARCHITECTURAL JOURNAL, 1988, (24): : 94 - 103