FIT-Conference Hub
Конференции
Журналы
Визуализация
Чат-бот
НОВОЕ
Поддержка
Опубликовать
Тема
Русский
Конференции
Журналы
Визуализация
Чат-бот
НОВОЕ
Поддержка
Опубликовать
Уведомления
Отметить все как прочитанные
Нет новых уведомлений.
Посмотреть все
Ключевое слово
Начало:
Конец:
Тип
Местоположение
Поиск
Очистить
Скрыть расширенные параметры поиска
?
Дата подачи статей:
Ранг:
Все ранги
A*
A
B
C
Unranked
Other
Источник:
Все источники
Издатель:
Темы:
Theory and Applications of Satisfiability Testing
×
Область исследований:
Результаты поиска конференций (1)
Событий на странице:
4
8
12
20
50
100
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Rank: A
Offline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability Testing
Propositional Satisfiability
Boolean optimization
+18 еще
