chapter 8

Advanced Consistency Methods

We cannot all hope to combine the pleasing qualities of good looks, brains, and eloquence.

Homer, The Odyssey

Now that we have covered the spectrum of basic constraint processing techniques, discussing inference approaches, search approaches, and their approximations, we can delve more deeply into some of these methods and their hybrids. This chapter focuses on extending variable-based consistency-enforcing algorithms to relation-based algorithms. These definitions are then used to characterize the consistency level sufficient to guarantee global consistency for special classes of constraints having tight domains or that are row convex. This chapter also covers the specialized languages of propositional ...

Get Constraint Processing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.