История

Перейти к: навигация, поиск

PS-полнота языка верных булевых формул с кванторами (TQBF)

3 июня 2012

2 июня 2012

1 июня 2012

31 мая 2012

3 мая 2012

1 мая 2012

30 апреля 2012

17 апреля 2012

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:History/PS-полнота_языка_верных_булевых_формул_с_кванторами_(TQBF)»