Ján Pich

zbMath Openpich.janDBLP67/8727WikidataQ112496468 ScholiaQ112496468MaRDI QIDQ466446

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Localizability of the approximation method Computational Complexity	2024-10-25	Paper
Learning algorithms versus automatability of Frege systems	2024-06-24	Paper
Towards P$\ne$NP from Extended Frege lower bounds	2023-12-13	Paper
Strong co-nondeterministic lower bounds for NP cannot be proved feasibly Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing	2023-11-14	Paper
Beyond Natural Proofs: Hardness Magnification and Locality Journal of the ACM	2023-04-27	Paper
scientific article; zbMATH DE number 7650418 (Why is no real title available?)	2023-02-03	Paper
Reasons for hardness in QBF proof systems ACM Transactions on Computation Theory	2022-12-05	Paper
Hardness magnification near state-of-the-art lower bounds	2022-07-27	Paper
Hardness magnification near state-of-the-art lower bounds Theory of Computing	2022-02-09	Paper
scientific article; zbMATH DE number 7278086 (Why is no real title available?)	2020-11-25	Paper
Frege systems for quantified Boolean logic Journal of the ACM	2020-11-11	Paper
Feasibly constructive proofs of succinct weak circuit lower bounds Annals of Pure and Applied Logic	2019-11-22	Paper
Beyond Natural Proofs: Hardness Magnification and Locality	2019-11-19	Paper
Understanding Gentzen and Frege Systems for QBF Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic Logical Methods in Computer Science	2015-08-25	Paper
Circuit lower bounds in bounded arithmetics Annals of Pure and Applied Logic	2014-10-27	Paper
Nisan-Wigderson generators in proof systems with forms of interpolation Mathematical Logic Quarterly	2011-09-27	Paper

Research outcomes over time

This page was built for person: Ján Pich