История

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

Sharp SAT

4 сентября 2022

Maintenance script
rollbackEdits.php mass rollback
м
19:20
-2316

1 сентября 2022

194.26.192.187
Нет описания правки
08:23
+2316

2 июня 2010

SVKazakov
Нет описания правки
16:11
-4

29 апреля 2010

SVKazakov
Нет описания правки
17:23
+28

28 апреля 2010

27 апреля 2010

25 апреля 2010

SVKazakov
Нет описания правки
22:10
-21

22 апреля 2010

17 апреля 2010

15 апреля 2010

SVKazakov
Новая страница: «== Определение == <tex>\#SAT = \{ <\varphi, k> | \varphi</tex> имеет <tex>k</tex> удовлетворяющих наборов <tex>\}</tex> == У…»
20:56
+777

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:History/Sharp_SAT»

Навигация