Search Results for author: Clement Carbonnel

Found 3 papers, 0 papers with code

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

no code implementations20 Apr 2017 Clement Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny

Singleton arc consistency is an important type of local consistency which has been recently shown to solve all constraint satisfaction problems (CSPs) over constraint languages of bounded width.

General Classification

On Backdoors To Tractable Constraint Languages

no code implementations14 Apr 2014 Clement Carbonnel, Martin C. Cooper, Emmanuel Hebrard

In the context of CSPs, a strong backdoor is a subset of variables such that every complete assignment yields a residual instance guaranteed to have a specified property.

Cannot find the paper you are looking for? You can Submit a new open access paper.