Mostrando 1 - 2 Resultados de 2 Para Buscar '"Complexity of proof procedures."', tiempo de consulta: 0.02s Limitar resultados
  1. 1

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

    Publicado en Journal of the ACM
    Artículo

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

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

    Publicado en Journal of the ACM
    Artículo

    On sufficient conditions for unsatisfiability of random formulas.

Herramientas de búsqueda: