Дмитрий Мурзин
Перенаправление на 2SAT
22:29
-1
Shersh
переименовал 2-SAT Выполнимость в 2-SAT: слишком длинное название
00:18
+41
