OpenAI's Claimed Subexponential #SAT Algorithm, Explained [video]

 (youtube.com)

2 points | by amichail 4 hours ago ago

1 comments