This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English