Selecting Search Strategy in Constraint Solvers using Bayesian Optimization. - Hedieh Haddad; Pierre Talbot; Pascal Bouvry (ICTAI, 2024)