2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2013
From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E
Denis Berthier
In this Part II, we apply the general theory developed in Part I to a detailed analysis of the Constraint Satisfaction Problem (CSP). We show how specific types of resolution rules…
cs.AI2013
From Constraints to Resolution Rules, Part I: Conceptual Framework
Denis Berthier
Many real world problems naturally appear as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two te…
cs.AI2013★ 2 cited
Pattern-Based Constraint Satisfaction and Logic Puzzles
Denis Berthier
Pattern-Based Constraint Satisfaction and Logic Puzzles develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis…