Metadata
Author: Literature
Data
English[en]
This strategy gives us a BDD that checks whether each xi has the correct value, for i = 1 , 2 , . . .
Spanish[es]
Esta estrategia proporciona un BDD que comprueba si cada xi tiene el valor correcto, para i = 1, 2,..., n.