Lower bounds for polynomial calculus with extension variables over finite fields

DOI10.4230/LIPICS.CCC.2023.7MaRDI QIDQ6640341

Sasank Mouli, Russell Impagliazzo, Toniann Pitassi

Publication date: 19 November 2024

zbMATH Keywords

polynomial calculusalgebraic proof systemsproof complexityAC\(^0[p\)-Frege]extension variables

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Lower bounds for polynomial calculus with extension variables over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6640341)