G grossack.site Slaughtering Competition Problems with Quantifier Elimination (2021) 78 points todsacerdoti 10 months ago 3 comments
