Всем привет!

Мы запускаем серию открытых лекций на Кипре. Приглашаем обсудить различные области компьютерных и математических наук, получить новые знания, расширить свой кругозор и поучаствовать в полезном нетворкинге :)

Ближайшая встреча: 13 октября, 6:30 pm
Тема: The Satisfiability Problem
Лектор: Aleksander Kulikov
Место: Antwork Coworking Limassol

Язык встречи: английский. Для участия, пожалуйста, зарегистрируйтесь.

О лекции:
The satisfiability problem (SAT) is one of the most famous difficult algorithmic problems. We will show how surprisingly easy it is to use SAT solvers to handle challenging combinatorial problems in practice, and we’ll discuss the corresponding algorithms.

Приходите!

JetBrains: Developer Tools for Professionals and Teams
Cyprus Open