Constraint programming is a robust paradigm for fixing combinatorial seek difficulties that attracts on a variety of thoughts from synthetic intelligence, machine technology, databases, programming languages, and operations study. Constraint programming is at the moment utilized with luck to many domain names, equivalent to scheduling, making plans, automobile routing, configuration, networks, and bioinformatics.
The target of this instruction manual is to catch the total breadth and intensity of the constraint programming box and to be encyclopedic in its scope and assurance. whereas there are a number of first-class books on constraint programming, such books unavoidably specialize in the most notions and strategies and can't conceal additionally extensions, functions, and languages. The guide supplies a fairly whole assurance of these kinds of traces of labor, according to constraint programming, in order that a reader may have a slightly distinct notion of the full box and its power. in fact each one line of labor is handled in a survey-like sort, the place a few info can be missed in desire of insurance. besides the fact that, the wide bibliography of every bankruptcy can assist the readers to discover appropriate assets for the lacking info. every one bankruptcy of the guide is meant to be a self-contained survey of an issue, and is written through a number of authors who're top researchers within the area.
The meant viewers of the guide is researchers, graduate scholars, higher-year undergraduates and practitioners who desire to know about the cutting-edge in constraint programming. No previous wisdom concerning the box is critical so one can learn the chapters and assemble precious wisdom. Researchers from different fields should still locate during this instruction manual a great way to benefit approximately constraint programming and to very likely use a few of the constraint programming suggestions and strategies of their paintings, therefore supplying a method for a fruitful cross-fertilization between diverse learn areas.
The instruction manual is prepared in components. the 1st half covers the elemental foundations of constraint programming, together with the heritage, the proposal of constraint propagation, simple seek tools, worldwide constraints, tractability and computational complexity, and significant matters in modeling an issue as a constraint challenge. the second one half covers constraint languages and solver, a number of important extensions to the fundamental framework (such as period constraints, dependent domain names, and disbursed CSPs), and winning software components for constraint programming.
- Covers the full box of constraint programming
- Survey-style chapters
- 5 chapters on applications