A Theory for Probabilistic Polynomial-Time Reasoning

MaRDI QIDQ7217068arXivFDO

Authors Lijie Chen, Igor C. Oliveira, Ryan Williams

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Complexity of proofs (03F20)

arXiv classification

cs.CC

This page was built for publication: A Theory for Probabilistic Polynomial-Time Reasoning

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