История

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

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

4 сентября 2022

1 сентября 2022

4 июня 2013

25 июня 2012

24 июня 2012

7 июня 2012

5 июня 2012

4 июня 2012

3 июня 2012

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