I proved that SAT, n variables, m clauses is O(sqrt(2)^m) in 2023, and did not realized until today.

I proved that SAT, n variables, m clauses is O(sqrt(2)^m) in 2023, and did not realized until today.
Estimated read time 1 min read

A O(2^{n/2}) Universal Algorithm

Continue reading on Medium »

 

​ A O(2^{n/2}) Universal AlgorithmContinue reading on Medium »   Read More AI on Medium 

#AI

Avatar for

You May Also Like

More From Author

+ There are no comments

Add yours