Activity 2.2: Tabu search & SAT

Tabú aplicado a un SAT

Click SatResolution_example.pdf link to view the file.