NPTEL Video Course : Theory of Computation


Lecture 9 - 'Guess and verify' paradigm for nondeterminism


            


DIGIMAT Learning Management Platform