How Cook$-$Levin used the Boolean Satisfiability Problem in their research? $($Select all that applies$)$

Question $19$Answer

They demonstrated that certain problems were able to be translated to Boolean Satisfiability Problem in Polynomial time.

They demonstrated that Boolean Satisfiability problem can be solved in polynomial time.

They used Boolean Satisfiability Problem to demonstrate that the Clique Problem has a polynomial solution

They demonstrated that if there is a polynomial solution to the Boolean problem, then all NP Complete problems can be solved in polynomial time.