HackiNews

A 2^o(n) time algorithm for 3-SAT (github.com/anthropics)

Keyboard shortcuts

j / k Down or up a comment
h / l Previous or next link
? This help