Поиск
Главная
Наборы данных
Проекты
Результаты
Исследователи
Структура
Деятельность
Пресса/СМИ
О портале
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