Mostra 1 - 2 risultati di 2 ricerca '"Complexity of proof procedures."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

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

    Pubblicato in Journal of the ACM
    Articolo

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

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

    Pubblicato in Journal of the ACM
    Articolo

    On sufficient conditions for unsatisfiability of random formulas.

Strumenti per la ricerca: