Поиск
Главная
Структура
Проекты
Исследователи
Результаты
Наборы данных
Деятельность
Пресса/СМИ
О портале
Machine Learning for SAT: Restricted Heuristics and New Graph Representations
Результаты исследований
:
Рабочие материалы
›
Препринт
BM.5832.2022 Современная математика
Факультет математики и компьютерных наук СПбГУ
Обзор
Цитировать
DOI
https://doi.org/10.48550/arXiv.2307.09141
Конечная издательская версия
Mikhail Shirokikh
Ilya Shenbin
Anton Alekseev
Sergey Nikolenko
Язык оригинала
английский
DOI
https://doi.org/10.48550/arXiv.2307.09141
Состояние
Опубликовано -
2023
ID: 126381961