NPTEL Video Course : NOC:Artificial Intelligence Search Methods For Problem Solving

Lecture 30 - Genetic Algorithms and SAT