Constraint Satisfaction Problems

CSP Formalisms and Techniques

Nonfiction, Science & Nature, Mathematics
Cover of the book Constraint Satisfaction Problems by Khaled Ghedira, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Khaled Ghedira ISBN: 9781118575017
Publisher: Wiley Publication: February 5, 2013
Imprint: Wiley-ISTE Language: English
Author: Khaled Ghedira
ISBN: 9781118575017
Publisher: Wiley
Publication: February 5, 2013
Imprint: Wiley-ISTE
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Wiley

Cover of the book Bistatic SAR / GISAR / FISAR Geometry, Signal Models and Imaging Algorithms by Khaled Ghedira
Cover of the book Net Zero Energy Design by Khaled Ghedira
Cover of the book Disability in Higher Education by Khaled Ghedira
Cover of the book Network Performance Analysis by Khaled Ghedira
Cover of the book Statistical Methods for Rates and Proportions by Khaled Ghedira
Cover of the book The Microsoft Data Warehouse Toolkit by Khaled Ghedira
Cover of the book Molecular Materials by Khaled Ghedira
Cover of the book The New Form 990 by Khaled Ghedira
Cover of the book Transfer and Management of Knowledge by Khaled Ghedira
Cover of the book Handbook of Molecular Microbial Ecology I by Khaled Ghedira
Cover of the book Das Ende der Nacht by Khaled Ghedira
Cover of the book The Idea of Evil by Khaled Ghedira
Cover of the book Introduction to Micro- and Nanooptics by Khaled Ghedira
Cover of the book Statistics II for Dummies by Khaled Ghedira
Cover of the book Natural Orifice Translumenal Endoscopic Surgery (NOTES) by Khaled Ghedira
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy