2-SAT Выполнимость — различия между версиями

Текущая версия на 22:29, 31 января 2019

Перенаправление на:

Версия 00:18, 1 декабря 2015 (просмотреть исходный код) Shersh (обсуждение \| вклад) (переименовал 2-SAT Выполнимость в 2-SAT: слишком длинное название)		Текущая версия на 22:29, 31 января 2019 (просмотреть исходный код) Дмитрий Мурзин (обсуждение \| вклад) м (Перенаправление на 2SAT)
Строка 1:		Строка 1:
−	#перенаправление [[~~2-SAT~~]]	+	#перенаправление [[2SAT]]