Complexity of Constraints: An Overview of Current Research Themes (Paperback)

Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?.- Basics of Galois Connections.- Recent Results on the Algebraic Approach to the CSP.- Dualities for Constraint Satisfaction Problems.- A Logical Approach to Constraint Satisfaction.- Uniform Constraint Satisfaction Problems and Database Theory.- Constraint Satisfaction Problems with Infinite Templates.- Partial Polymorphisms and Constraint Satisfaction Problems.- to the Maximum Solution Problem.- Present and Future of Practical SAT Solving.