Treffer 1 - 2 von 2 für Suche '"Complexity of proof procedures."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

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

    Veröffentlicht in Journal of the ACM
    Artikel

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

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

    Veröffentlicht in Journal of the ACM
    Artikel

    On sufficient conditions for unsatisfiability of random formulas.

Suchwerkzeuge: