48 citations · 232 across the 19 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 1 cited
On Backdoors To Tractable Constraint Languages
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. If the pr…
cs.CC2014★ 9 cited
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
Martin C. Cooper, Stanislav Živný
The minimisation problem of a sum of unary and pairwise functions of discrete variables is a general NP-hard problem with wide applications such as computing MAP configurations in…