logoalt Hacker News

Slaughtering Competition Problems with Quantifier Elimination (2021)

53 points • by todsacerdoti • yesterday at 11:10 PM • 0 comments • view on HN

Comments