Artificial Intelligence
Part I : Depth first search for SAT
Part II: Davis-Putnam Algorithm
Part III: Heuristics for SAT
Search 4
Previous slide
Next slide
Back to first slide
View graphic version