Отображение 1 - 2 результаты of 2 для поиска '"Complexity of proof procedures."', время запроса: 0.02сек. Отмена результатов
  1. 1

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

    Опубликовано в: Journal of the ACM
    Статья

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

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

    Опубликовано в: Journal of the ACM
    Статья

    On sufficient conditions for unsatisfiability of random formulas.

Инструменты поиска: