Boolean Satisfaction Problem

Boolean Satisfaction Problem

Boolean Satisfiability Problem (SAT) (https://en.wikipedia.org/wiki/Boolean_satisfiability_problem) is one of the most important problems in Computer Science. SAT is a problem that has NP-Complete complexity, where the only way to solve the problem is to try all the possibilities and check which one is correct.

1. [LO 1, LO 2, LO 3 & LO 4,] Briefly describe how you used Backtracking to solve the Boolean Satisfiability Problem. Note that your solution must have exponential complexity.
2. [LO 1, LO 2, LO 3 & LO 4,] Briefly explain how you use Strongly Connected Component (SCC) to solve the special case of the Boolean Satisfiability Problem, namely 2-SAT (https://en.wikipedia. org/wiki/2-SAT) . This solution has linear complexity.

Solve the Subparts A&B thank u

NOTE

LO1: Explain fundamental concept of analysis arithms. 

LO2: Apply algorithm techniques and methods.

LO3: Solve a problem using specific algorithm.

LO4: Compare several algorithm design methods.