research
∙
04/11/2013
From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E
In this Part II, we apply the general theory developed in Part I to a de...
research
∙
04/11/2013
From Constraints to Resolution Rules, Part I: Conceptual Framework
Many real world problems naturally appear as constraints satisfaction pr...
research
∙
04/05/2013
Pattern-Based Constraint Satisfaction and Logic Puzzles
Pattern-Based Constraint Satisfaction and Logic Puzzles develops a pure ...
research
∙
11/17/2011