Constraint Satisfaction Problems: CSP Formalisms and Techniques (Hardback)
  • Constraint Satisfaction Problems: CSP Formalisms and Techniques (Hardback)
zoom

Constraint Satisfaction Problems: CSP Formalisms and Techniques (Hardback)

(author)
£76.95
Hardback 238 Pages / Published: 18/01/2013
  • We can order this

Usually dispatched within 1 week

  • This item has been added to your basket

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive increased attention because of both their high complexity and their omnipresence in academic, industrial and even real-life problems. This is why they are the subject of intense research in both artificial intelligence and operations research. This book introduces the classic CSP and details several extensions/improvements of both formalisms and techniques in order to tackle a large variety of problems. Consistency, flexible, dynamic, distributed and learning aspects are discussed and illustrated using simple examples such as the n-queen problem.

Contents

1. Foundations of CSP.
2. Consistency Reinforcement Techniques.
3. CSP Solving Algorithms.
4. Search Heuristics.
5. Learning Techniques.
6. Maximal Constraint Satisfaction Problems.
7. Constraint Satisfaction and Optimization Problems.
8. Distibuted Constraint Satisfaction Problems.

About the Authors

Khaled Ghedira is the general managing director of the Tunis Science City in Tunisia, Professor at the University of Tunis, as well as the founding president of the Tunisian Association of Artificial Intelligence and the founding director of the SOIE research laboratory. His research areas include MAS, CSP, transport and production logistics, metaheuristics and security in M/E-government. He has led several national and international research projects, supervised 30 PhD theses and more than 50 Master s theses, co-authored about 300 journal, conference and book research papers, written two text books on metaheuristics and production logistics and co-authored three others.

Publisher: ISTE Ltd and John Wiley & Sons Inc
ISBN: 9781848214606
Number of pages: 238
Weight: 556 g
Dimensions: 239 x 160 x 27 mm

You may also be interested in...

Numbers and Proofs
Added to basket
£46.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
A Book of Set Theory
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Equation That Couldn't be Solved
Added to basket
How to Prove It
Added to basket
Math Girls
Added to basket
£11.99
Paperback
Conceptual Mathematics
Added to basket
The Foundations of Mathematics
Added to basket
Logic
Added to basket
£10.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.