Search Results for author: Emmanuel Hebrard

Found 4 papers, 1 papers with code

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.

Soft Constraints of Difference and Equality

no code implementations16 Jan 2014 Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon

Moreover, we show that the maximum number of pairs of equal variables can be approximated by a factor 1/2 with a linear time greedy algorithm.

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