يعرض 1 - 10 نتائج من 264 نتيجة بحث عن '"03F20"', وقت الاستعلام: 1.64s تنقيح النتائج
  1. 1
    تقرير
    On $NP$ versus ${\rm co}NP$

    المؤلفون: Lin, Tianrong

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

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

    أضف إلى المفضلة
  2. 2
    تقرير
    A propositional cirquent calculus for computability logic

    المؤلفون: Japaridze, Giorgi

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B47, 03B70, 03F03, 03F20, 68T15, F.1.1, F.1.2, F.1.3

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

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    On some Σ0BV0-formulae generalizing counting principles over Σ0BV0

    المؤلفون: Ken, EitetsuAff1, IDs00153024009381_cor1

    المصدر: Archive for Mathematical Logic. :1-42

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Herbrand complexity and the epsilon calculus with equality

    المؤلفون: Miyamoto, KenjiAff1, IDs00153023008773_cor1, Moser, Georg

    المصدر: Archive for Mathematical Logic. 63(1-2):89-118

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system

    المؤلفون: Grochow, Joshua A.

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, 03F20, 68Q17, 13P15, F.2.2, F.4.1

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

    أضف إلى المفضلة
  6. 6
    تقرير
    On the algebraic proof complexity of Tensor Isomorphism

    المؤلفون: Galesi, Nicola, Grochow, Joshua A., Pitassi, Toniann, She, Adrian

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science, 03F20, 15A69, 68Q25, 13P15, F.2.2, F.4.1

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Limits of CDCL Learning via Merge Resolution

    المؤلفون: Vinyals, Marc, Li, Chunxiao, Fleming, Noah, Kolokolova, Antonina, Ganesh, Vijay

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    A simplified lower bound for implicational logic

    المؤلفون: Jeřábek, Emil

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20 (Primary) 03B20 (Secondary)

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

    أضف إلى المفضلة
  9. 9
    تقرير
    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

    أضف إلى المفضلة
  10. 10
    تقرير
    Proving Unsatisfiability with Hitting Formulas

    المؤلفون: Filmus, Yuval, Hirsch, Edward A., Riazanov, Artur, Smal, Alexander, Vinyals, Marc

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

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

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