Effectivement, je connais surtout Youssef Hammadi, et un peu Lucas Bordeaux, quoique pas personnellement ;)
Je l'ai côtoyé essentiellement pour ses travaux sur SAT. Il y a des solveurs SAT en recherche locale et en recherche systématique effectivement, j'ai été un peu vite, mais ils sont tous autonomes. En programmation par contraintes, c'est loin d'être le cas, et la recherche systématique est à peu près... systématique.
[^] # Re: Tuning automatique de paramètres
Posté par scand1sk (site web personnel) . En réponse au journal Le labo commun Inria-Microsoft. Évalué à 1.
Je l'ai côtoyé essentiellement pour ses travaux sur SAT. Il y a des solveurs SAT en recherche locale et en recherche systématique effectivement, j'ai été un peu vite, mais ils sont tous autonomes. En programmation par contraintes, c'est loin d'être le cas, et la recherche systématique est à peu près... systématique.