Slaughtering Competition Problems with Quantifier Elimination (2021)

24 points | by todsacerdoti 3 hours ago

No comments yet