Parmi les grandes familles d'approches et de langages informatiques, on entend parfois parler de « programmation par contraintes ». Un chercheur du domaine vous expliquerait peut-être que « c'est un paradigme de programmation déclarative permettant de traiter des problèmes fortement combinatoires ». Euh... Heureusement, Binaire a son joker : une enseignante-chercheure Charlotte Truchet, spécialiste du domaine, qui sait expliquer ses recherches. Thierry Viéville.

Lire l'article sur Binaire