Implémentation dans le solveur de contraintes choco

11 janv. 2010 ... L'objectif de ce projet est d'implémenter un solveur SAT relativement .... nal [3], ou bien de préférence à un livre plus récent, par exemple celui ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A