What is included with this book?
Introduction | p. 1 |
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help? | p. 3 |
Basics of Galois Connections | p. 38 |
Recent Results on the Algebraic Approach to the CSP | p. 68 |
Dualities for Constraint Satisfaction Problems | p. 93 |
A Logical Approach to Constraint Satisfaction | p. 125 |
Uniform Constraint Satisfaction Problems and Database Theory | p. 156 |
Constraint Satisfaction Problems with Infinite Templates | p. 196 |
Partial Polymorphisms and Constraint Satisfaction Problems | p. 229 |
Introduction to the Maximum Solution Problem | p. 255 |
Present and Future of Practical SAT Solving | p. 283 |
Author Index | p. 321 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.