Performances d'un solveur de contraintes

En collaboration avec deux chercheurs de Nantes (X. Lorca et C. Truchet), nous avons initié une étude visant a évaluer les performances d'un solveur de contraintes. Les premiers travaux ont porté sur l'analyse de la contrainte AllDifferent: quelle est la probabilité qu'elle soit (ou reste) consistante aux bornes?

J. du Boisberranger, D. Gardy, X. Lorca, C. Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of ALLDIFFERENT. Siam workshop on Analytic Algorithmics and Combinatorics (ANALCO), January 2013, New Orleans (USA).

Imprimer

DMC Firewall is a Joomla Security extension!