Visas 1 - 2 av 2 resultat för sökning '"Complexity of proof procedures."', Sökningstid: 0,02s Förfina resultatet
  1. 1

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

    I publikationen Journal of the ACM
    Artikel

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

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

    I publikationen Journal of the ACM
    Artikel

    On sufficient conditions for unsatisfiability of random formulas.

Sökverktyg: