4 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Unbiased Statistics of a CSP - A Controlled-Bias Generator
Denis Berthier
We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two as…