Résolution algorithmique