Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Solution Techniques for Constraint Satisfaction Problems: Foundations
Authors: Ian Miguel ; Qiang Shen
Date:May 2001
Publication Title:Artificial Intelligence Review
Publication Type:Journal Article
Volume No:15(4) Page Nos:243-267
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.
2002 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Ian Miguel and Qiang Shen },
title = {Solution Techniques for Constraint Satisfaction Problems: Foundations},
journal = {Artificial Intelligence Review},
year = 2001,
month = {May},
volume = {15(4)},
pages = {243-267},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh