Матлог 8. Метод резолюций

Лектор: Мусатов Даниил Владимирович Съёмка: Алёна Быкова Монтаж: Алексей Попов 00:37 - метод резолюций 07:32 - расстановка ферзей 14:56 - теорема об алгоритме 29:34 - резолюция - правило 1:00:24 - SAT solver 1:04:46 - задача с ферзями