This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Introducing the Boolean satisfiability problem: determining if a logical formula has a satisfying assignment.
You've completed the free preview. Subscribe to unlock every lesson in every course.