sentence1: Ils ont montré que l'algorithme AltMinComplete peut rétablir la Formule 9 dans les étapes incohérentes en observant les entrées au hasard de la Formule 203 d'une formule matricielle de Formule 206.
sentence2: Ils ont montré qu'en observant les entrées formula _ 203 au hasard d'une matrice formula _ 206 formula _ 9 , l'algorithme AltMinComplete peut reprendre les étapes incohérentes de la formula _ 9.