Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime '"Complexity of proof procedures."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Resolution lower bounds for the weak pigeonhole principle. Yazar: Raz, R.

    Yayımlandı Journal of the ACM
    Makale

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

    On sufficient conditions for unsatisfiability of random formulas. Yazar: Atserias, Albert

    Yayımlandı Journal of the ACM
    Makale

    On sufficient conditions for unsatisfiability of random formulas.

Arama Araçları: