What: | Lecture |
When: | Thursday, 29 September 2016, 18:30–19:50 |
Where: | ПОМИ РАН |
Приближенные алгоритмы для MaxSAT: 1/2-приближенный, задача линейного программирования, (1-1/e)-приближенный алгоритм с помощью вероятностного округления. Комбинированный 3/4-приближенный алгоритм.