Toon 1 - 2 resultaten van 2 Voor zoekopdracht '"Complexity of proof procedures."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in Journal of the ACM
    Artikel

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

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

    Gepubliceerd in Journal of the ACM
    Artikel

    On sufficient conditions for unsatisfiability of random formulas.

Zoekinstrumenten: