Love Knuth’s treatment of integer factorization as SAT. From TAoCP section 7.2.2.2 (Volume 4, Fascicle 6):pic.twitter.com/OnLb3vjzuG
10:35 PM - 1 Jun 2016
from San Francisco, CA
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.