14 citations · 18 across the 5 of their papers we have counts for
3 papers · 1 filter
Modular Constraint Solver Cooperation via Abstract Interpretation
Pierre Talbot, Éric Monfroy, Charlotte Truchet
Cooperation among constraint solvers is difficult because different solving paradigms have different theoretical foundations. Recent works have shown that abstract interpretation c…
A Probabilistic-Based Model for Binary CSP
Amine Balafrej, Xavier Lorca, Charlotte Truchet
This work introduces a probabilistic-based model for binary CSP that provides a fine grained analysis of its internal structure. Assuming that a domain modification could occur in…
Sonet Network Design Problems
Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet
This paper presents a new method and a constraint-based objective function to solve two problems related to the design of optical telecommunication networks, namely the Synchronous…