يعرض 1 - 10 نتائج من 20 نتيجة بحث عن '"Pich, Jan"', وقت الاستعلام: 1.38s تنقيح النتائج
  1. 1
    تقرير
    From Proof Complexity to Circuit Complexity via Interactive Protocols

    المؤلفون: Arteche, Noel, Khaniki, Erfan, Pich, Ján, Santhanam, Rahul

    مصطلحات موضوعية: Computer Science - Computational Complexity

    URL الوصول: http://arxiv.org/abs/2405.02232

    أضف إلى المفضلة
  2. 2
    تقرير
    Towards P$\ne$NP from Extended Frege lower bounds

    المؤلفون: Pich, Jan, Santhanam, Rahul

    مصطلحات موضوعية: Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2312.08163

    أضف إلى المفضلة
  3. 3
    تقرير
    Localizability of the approximation method

    المؤلفون: Pich, Jan

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Discrete Mathematics

    URL الوصول: http://arxiv.org/abs/2212.09285

    أضف إلى المفضلة
  4. 4
    مؤتمر
    Why are Proof Complexity Lower Bounds Hard?

    المؤلفون: Pich, Jan, Santhanam, Rahul

    المصدر: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) Foundations of Computer Science (FOCS), 2019 IEEE 60th Annual Symposium on. :1305-1324 Nov, 2019

    Relation: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    Learning algorithms versus automatability of Frege systems

    المؤلفون: Pich, Ján, Santhanam, Rahul

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2111.10626

    أضف إلى المفضلة
  6. 6
    تقرير
    Learning algorithms from circuit lower bounds

    المؤلفون: Pich, Ján

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Cryptography and Security, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2012.14095

    أضف إلى المفضلة
  7. 7
    تقرير
    Beyond Natural Proofs: Hardness Magnification and Locality

    المؤلفون: Chen, Lijie, Hirahara, Shuichi, Oliveira, Igor C., Pich, Jan, Rajgopal, Ninad, Santhanam, Rahul

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Discrete Mathematics, Mathematics - Combinatorics

    URL الوصول: http://arxiv.org/abs/1911.08297

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Understanding Gentzen and Frege Systems for QBF

    المؤلفون: Beyersdorff, Olaf, Pich, Jan

    المصدر: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on. :1-10 Jul, 2016

    Relation: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library
    أضف إلى المفضلة
  9. 9
    تقرير
    Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic

    المؤلفون: Pich, Ján

    المصدر: Logical Methods in Computer Science, Volume 11, Issue 2 (June 16, 2015) lmcs:1568

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity

    URL الوصول: http://arxiv.org/abs/1412.3246

    أضف إلى المفضلة
  10. 10
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء