First-Order Reasoning and Efficient Semi-Algebraic Proofs.

Fedor Part, Neil Thapen, Iddo Tzameret

Browse the full LICS paper archive.