Activity 2.2: Tabu search & SAT

Tabú aplicado a un SAT

Cliquer le lien SatResolution_example.pdf pour afficher le fichier.