يعرض 1 - 10 نتائج من 135 نتيجة بحث عن '"Krajicek, Jan"', وقت الاستعلام: 0.86s تنقيح النتائج
  1. 1
    دورية أكاديمية
    ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS

    المؤلفون: KRAJÍČEK, JAN

    المصدر: The Bulletin of Symbolic Logic, 2024 Mar 01. 30(1), 20-40.

    URL الوصول: https://www.jstor.org/stable/27294833

    أضف إلى المفضلة
  2. 2
    تقرير
    A proof complexity conjecture and the Incompleteness theorem

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

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03F40, 68Q15, F.1.3, F.4.1

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Extended Nullstellensatz proof systems

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

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F20, 68Q15, F.1.1, F.4.1

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

    أضف إلى المفضلة
  4. 4
    تقرير
    On the existence of strong proof complexity generators

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

    المصدر: Bulletin of Symbolic Logic , Volume 30 , Issue 1 , March 2024 , pp. 20 - 40

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 68Q11, F.1.1, F.4.1

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Information in propositional proofs and algorithmic proof search

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

    المصدر: J. of Symbolic Logic, vol.87, nb.2, (June 2022), pp.852-869

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

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Small circuits and dual weak PHP in the universal theory of p-time algorithms

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

    المصدر: ACM Transactions on Computational Logic, 22, 2, Article 11 (May 2021)

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F30, 68Q15, F.4.1

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

    أضف إلى المفضلة
  7. 7
    تقرير
    A limitation on the KPT interpolation

    المؤلفون: Krajíček, Jan

    المصدر: Logical Methods in Computer Science, Volume 16, Issue 3 (August 12, 2020) lmcs:6267

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F20, 68Q15, F.4.1

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

    أضف إلى المفضلة
  8. 8
    تقرير
    The Cook-Reckhow definition

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

    المصدر: in: "Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook", ed.Bruce M.Kapron, Association for Computing Machinery Books, New York, NY, USA, 43, pp.83-94, May 2023

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Consistency of circuit lower bounds with bounded theories

    المؤلفون: Bydzovsky, Jan, Krajicek, Jan, Oliveira, Igor C.

    المصدر: Logical Methods in Computer Science, Volume 16, Issue 2 (June 18, 2020) lmcs:5578

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    On monotone circuits with local oracles and clique lower bounds

    المؤلفون: Krajicek, Jan, Oliveira, Igor C.

    المصدر: Chicago Journal of Theoretical Computer Science, vol.2018, nb.1, (March 2018), pp.1-18

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

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

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