[Scoresolver-information] SCORE FD/I

[<ga...@de...>]

Apres avoir travaill=E9 trois heures pour r=E9soudre un dysfonctionnement=
 de
notre solveur, nous sommes arriv=E9s =E0 la conclusion que certaines form=
ules
de filtrage expos=E9es dans la th=E8se sur Score FD/I =E9taient fausses.

D'ici lundi, nous allons r=E9diger une d=E9monstration de notre affirmati=
on et
peut =EAtre corriger notre solveur.

Equipe Score.