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

Profile

mend0za: (Default)
mend0za

June 2023

S M T W T F S
    123
45678910
11 121314151617
18192021222324
252627282930 

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 9th, 2025 09:24 pm
Powered by Dreamwidth Studios