A Glimpse of Constraint Satisfaction

被引:0
|
作者
Edward Tsang
机构
[1] University of Essex,Department of Computer Science
来源
关键词
8-queens problem; constraint satisfaction; search;
D O I
暂无
中图分类号
学科分类号
摘要
Constraint satisfaction has become an important field in computer science. This technology is embedded in millions of pounds of software used by major companies. Many researchers or software engineers in the industry could have benefited from using constraint technology without realizing it. The aim of this paper is to promote constraint technology by providing readers with a fairly quick introduction to this field. The approach here is to use the well known 8-queens problem to illustrate the basic techniques in constraint satisfaction (without going into great details), and leave interested readers with pointers to further study this field.
引用
收藏
页码:215 / 227
页数:12
相关论文
共 50 条
  • [31] Parallel distributed constraint satisfaction
    Fabiunke, M
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1585 - 1591
  • [32] Transformations of representation in constraint satisfaction
    András Z. Salamon
    [J]. Constraints, 2015, 20 (4) : 500 - 501
  • [33] Unordered Constraint Satisfaction Games
    Ahlroth, Lauri
    Orponen, Pekka
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 64 - 75
  • [34] Revisiting global constraint satisfaction
    Hower, W
    [J]. INFORMATION PROCESSING LETTERS, 1998, 66 (01) : 41 - 48
  • [35] AUGMENTING SPREADSHEETS WITH CONSTRAINT SATISFACTION
    Sample, Timothy
    Mouhoub, Malak
    [J]. 2011 24TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2011, : 1028 - 1031
  • [36] Boosting distributed constraint satisfaction
    Ringwelski, G
    Hamadi, Y
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 549 - 562
  • [37] On the complexity of global constraint satisfaction
    Bazgan, C
    Karpinski, M
    [J]. ALGORITHMS AND COMPUTATION, 2005, 3827 : 624 - 633
  • [38] The complexity of soft constraint satisfaction
    Cohen, David A.
    Cooper, Martin C.
    Jeavons, Peter G.
    Krokhin, Andrei A.
    [J]. ARTIFICIAL INTELLIGENCE, 2006, 170 (11) : 983 - 1016
  • [39] Computational complexity of constraint satisfaction
    Vollmer, Heribert
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 748 - 757
  • [40] Constraint satisfaction, complexity, and logic
    Kolaitis, PG
    [J]. METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3025 : 1 - 2