,

Proof of the Satisfiability Conjecture for Large k.

, , и .
STOC, стр. 59-68. ACM, (2015)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии