يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Complexity of proof procedures."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1

    Resolution lower bounds for the weak pigeonhole principle. حسب Raz, R.

    الحاوية / القاعدة Journal of the ACM
    مقال

    Resolution lower bounds for the weak pigeonhole principle.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. حسب Atserias, Albert

    الحاوية / القاعدة Journal of the ACM
    مقال

    On sufficient conditions for unsatisfiability of random formulas.

أدوات البحث: