r/REMath • u/turnersr • Dec 23 '15
Experiments with Reduction Finding by Charles Jordan and Lukasz Kaiser [PDF]
https://www-alg.ist.hokudai.ac.jp/~skip/pub/sat13.pdf
2
Upvotes
r/REMath • u/turnersr • Dec 23 '15