Models for global constraint applications

被引：11
|
作者：
Simonis, Helmut [1 ]
机构：
[1] Crosscore Optimizat Ltd, London SE10 8UA, England
来源：
CONSTRAINTS | 2007年 / 12卷 / 01期
关键词：
global constraints; constraint programming; industrial programming; VISUALIZATION; ALGORITHM; CHIP;
D O I：
10.1007/s10601-006-9011-7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core models used to express their constraints. We also consider different search strategies that have been applied and discuss some of the application aspects.
引用
收藏
页码：63 / 92
页数：30
相关论文
共 50 条
  • [41] Constraint Models for Sequential Planning
    Bartak, Roman
    Toropila, Daniel
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS, 2009, 5547 : 314 - 315
  • [42] The Complexity of Valued Constraint Models
    Zivny, Stanislav
    Jeavons, Peter G.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 833 - 841
  • [43] Reasoning about Constraint Models
    Bessiere, Christian
    Hebrard, Emmanuel
    Katsirelos, George
    Kiziltan, Zeynep
    Narodytska, Nina
    Walsh, Toby
    PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, 2014, 8862 : 795 - 808
  • [44] On multiple constraint skewed models
    Arnold, Barry C.
    Gomez, Hector W.
    Salinas, Hugo S.
    STATISTICS, 2009, 43 (03) : 279 - 293
  • [45] Models for concurrent constraint programming
    Gupta, Vineet
    Jagadeesan, Radha
    Saraswat, Vijay
    Lecture Notes in Computer Science, 1996, 1119
  • [46] Constraint models for graceful graphs
    Smith, Barbara M.
    Puget, Jean-Francois
    CONSTRAINTS, 2010, 15 (01) : 64 - 92
  • [47] A Constraint-based Maximum Entropy Sampling Method for Kriging Models in Fuel Cell Applications
    Yeom, Dong Ho
    Bae, Suk Joo
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2013, 29 (06) : 819 - 828
  • [48] Consistency and random constraint satisfaction models with a high constraint tightness
    Gao, Y
    Culberson, J
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 17 - 31
  • [49] CONSTRAINT QUALIFICATION FOR QUASICONVEX INEQUALITY SYSTEM WITH APPLICATIONS IN CONSTRAINT OPTIMIZATION
    Zhao, Xiaopeng
    JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2016, 17 (05) : 879 - 889
  • [50] Graph Constraint Evaluation over Partial Models by Constraint Rewriting
    Semerath, Oszkar
    Varro, Daniel
    THEORY AND PRACTICE OF MODEL TRANSFORMATION, 2017, 10374 : 138 - 154
12345