Ekaterina Artamonova@kate_artamonova
Всем привет!
JetBrains запускает серию открытых лекций на Кипре. Приглашаем обсудить различные области компьютерных и математических наук, получить новые знания, расширить свой кругозор и поучаствовать в полезном нетворкинге!
Ближайшая встреча – 13 октября, 6:30 pm
The Satisfiability Problem. A talk by Dr. Alexander 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.
Alexander Kulikov has published 48 papers in the fields of algorithms and computational complexity and has taught courses in various areas of computer science for the last fifteen years, both graduate and undergraduate. He has coauthored 3 books and 16 massive open online courses on algorithms and discrete mathematics with more than 900,000 enrolled students.
До встречи!
JetBrains запускает серию открытых лекций на Кипре. Приглашаем обсудить различные области компьютерных и математических наук, получить новые знания, расширить свой кругозор и поучаствовать в полезном нетворкинге!
Ближайшая встреча – 13 октября, 6:30 pm
The Satisfiability Problem. A talk by Dr. Alexander 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.
Alexander Kulikov has published 48 papers in the fields of algorithms and computational complexity and has taught courses in various areas of computer science for the last fifteen years, both graduate and undergraduate. He has coauthored 3 books and 16 massive open online courses on algorithms and discrete mathematics with more than 900,000 enrolled students.
До встречи!
2022-10-05 07:49:32
Aleksandr Polovtsev@alex_polovtcev
А запись или онлайн трансляция будет?
2022-10-05 08:13:43
Ekaterina Artamonova@kate_artamonova
Постараемся организовать запись, но пока 100% нет. Если получится, то обязательно опубликуем после на странице!
2022-10-05 08:14:25