Solution techniques for constraint satisfaction problems: Foundations

被引：10

作者：

Miguel, I ^{[1
]}

Shen, Q ^{[1
]}

机构：

[1] Univ Edinburgh, Sch Artificial Intelligence, Div Informat, Edinburgh EH1 1HN, Midlothian, Scotland

来源：

ARTIFICIAL INTELLIGENCE REVIEW | 2001年 / 15卷 / 04期

基金：

英国工程与自然科学研究理事会;

关键词：

Constraint Satisfaction Problems; constraint graph; tree search; pre-processing; consistency enforcing;

D O I：

10.1023/A:1011039901653

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The Constraint Satisfaction Problem (CSP) is ubiquitous in artificial intelligence. It has a wide applicability, ranging from machine vision and temporal reasoning to planning and logic programming. This paper attempts a systematic and coherent review of the foundations of the techniques for constraint satisfaction. It discusses in detail the fundamental principles and approaches. This includes an initial definition of the constraint satisfaction problem, a graphical means of problem representation, conventional tree search solution techniques, and pre-processing algorithms which are designed to make subsequent tree search significantly easier.

引用

页码：243 / 267

页数：25

共 50 条

[31] Counting constraint satisfaction problems
Bulatov, Andrei A.
[J]. PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS (ICM 2014), VOL IV, 2014, : 561 - 584
[32] Belief Constraint Satisfaction Problems
Rouahi, Aouatef
Ben Salah, Kais
Ghedira, Khaled
[J]. 2015 IEEE/ACS 12TH INTERNATIONAL CONFERENCE OF COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2015,
[33] Constraint satisfaction differential problems
Cruz, J
Barahona, P
[J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 259 - 273
[34] Constraint satisfaction problems and neurocomputing
Nagamatu, M
Nakano, T
Zhang, KR
[J]. BRAIN-INSPIRED IT I, 2004, 1269 : 161 - 164
[35] On reformulation of constraint satisfaction problems
Weigel, R
Bliek, C
[J]. ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 254 - 258
[36] Locked constraint satisfaction problems
Zdeborova, Lenka
Mezard, Marc
[J]. PHYSICAL REVIEW LETTERS, 2008, 101 (07)
[37] Random Constraint Satisfaction Problems
Coja-Oghlan, Amin
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (09): : 32 - 37
[38] Distance Constraint Satisfaction Problems
Bodirsky, Manuel
Dalmau, Victor
Martin, Barnaby
Pinsker, Michael
[J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, 2010, 6281 : 162 - +
[39] The Complexity of Constraint Satisfaction Problems
Bodirsky, Manuel
[J]. 32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 2 - 9
[40] Full constraint satisfaction problems
Feder, Tomas
Hell, Pavol
[J]. SIAM JOURNAL ON COMPUTING, 2006, 36 (01) : 230 - 246

← 1 2 3 4 5 →