blog.serverok.pl

mend0za friendica

Не учишь матан - пойдёшь на метан!

Никого не трогаю, смотрю доклад по пакетной системе # из # . И внезапно оттуда начинает изливаться #: задача выполнимости булевых формул (SAT), NP-полная задача, conflict-driven clause learning. Радостно!
Later posts Earlier posts