General

Authors

Search


Committee login



 
 
 

















 
 
 
 
 
 
 
 

Forthcoming

Small thumbnail

Graph-related Optimization and Decision Support Systems

FOCUS Series in Computer Engineering

Small thumbnail

Real-time Systems Scheduling 1

Fundamentals

Small thumbnail

Real-time Systems Scheduling 2

Focuses

Small thumbnail

Model-Based Systems Engineering

Fundamentals and Methods

Small thumbnail

Transport and Coherent Structures in Wall Turbulence

Small thumbnail

Formal Languages, Automata and Numeration Systems 1

Introduction to Combinatorics on Words

Small thumbnail

Formal Languages, Automata and Numeration Systems 2

Applications to Recognizability and Decidability

Small thumbnail

Bio-inspired Routing Protocols for Vehicular Ad-Hoc Networks

FOCUS Series in Networks and Telecommunications

Small thumbnail

Integral and Measure

From Rather Simple to Rather Complex

Small thumbnail

Musical Rhetoric

Foundations and Annotation Schemes

Small thumbnail

Constraint Networks

Techniques and Algorithms

Christophe Lecoutre, University of Artois, France.

ISBN: 9781848211063

Publication Date: June 2009   Hardback   592 pp.

270.00 USD


Add to cart

eBooks


Ebook Ebook

Description

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this important aim in mind, this book provides an accessible synthesis of the field, including direct access to the authorís research in this area, divided into four main topics: representation, inference, search and learning. The results obtained, and presented in this book, have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.

Contents

1. Constraint Networks
2. Random and Structured Networks
Part 1. Inference
3. Consistencies
4. Generic GAC Algorithms
5. Generalized Arc Consistency for Table Constraints
6. Singleton Arc Consistency
7. Path and Dual Consistency
Part 2. Search
8. Backtrack Search
9. Guiding Search toward Conflicts
10. Restarts and Nogood Recording
11. State-based Reasoning
12. Symmetry Breaking
Appendices

About the Authors

Christophe Lecoutre is Assistant Professor at the University of Artois, France.

Downloads

DownloadTable of Contents - PDF File - 59 Kb

DownloadIntroduction - Sample Chapter - PDF File - 447 Kb

Related Titles



































0.06273 s.