Éditeur(s) :
Teknea
Thèmes abordés : problèmes de satisfaction de contraintes, algorithmes stochastiques, problèmes de satisfaction d'expressions booléennes, procédures de Davis - Putnam, algorithme du recuit simulé, recherche Tabu, échange de Nogoods. ©Electre 2025
83,85 €