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

Question

Answer

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

Answer

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

Answer

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

Answer

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

Crowdly