Semialgebraic Proofs and Efficient Algorithm Design - Noah Fleming; Pravesh Kothari; Toniann Pitassi; Noah Fleming; Pravesh Kothari; Toniann Pitassi (Semialgebraic Proofs and Efficient Algorithm Design, 2019)