Семинар №24

Докладчик: Юргенсон Дарюс Геннадьевич

Тема доклада: Знакомство с проблемой SAT и с методами её решения

Дата: 16.12.2024

Время: 16:40

Место: ул. Союзная 144, 7 корпус ЯрГУ им. П.Г. Демидова, аудитория 420.

Аннотация: Мы сформулируем проблему выполнимости булевых формул (SAT), разберём простейшие частные случаи (1-SAT и 2-SAT), а также построим базовый алгоритм, лежащий в основе большинства современных SAT-решателей .