1 code implementation • 24 Jul 2020 • Emir Demirović, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
Heuristic methods are traditionally used to quickly produce models with reasonably high accuracy.
no code implementations • 14 Mar 2020 • Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Learning constraint networks is known to require a number of membership queries exponential in the number of variables.
no code implementations • 14 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.
no code implementations • 16 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.