Standard

Machine Learning for SAT: Restricted Heuristics and New Graph Representations. / Shirokikh, Mikhail; Shenbin, Ilya; Alekseev, Anton; Nikolenko, Sergey.

2023.

Результаты исследований: Рабочие материалы › Препринт

Harvard

Shirokikh, M, Shenbin, I, Alekseev, A & Nikolenko, S 2023 'Machine Learning for SAT: Restricted Heuristics and New Graph Representations'. https://doi.org/10.48550/arXiv.2307.09141

APA

Shirokikh, M., Shenbin, I., Alekseev, A., & Nikolenko, S. (2023). Machine Learning for SAT: Restricted Heuristics and New Graph Representations. https://doi.org/10.48550/arXiv.2307.09141

Vancouver

Shirokikh M, Shenbin I, Alekseev A, Nikolenko S. Machine Learning for SAT: Restricted Heuristics and New Graph Representations. 2023. https://doi.org/10.48550/arXiv.2307.09141

Author

Shirokikh, Mikhail ; Shenbin, Ilya ; Alekseev, Anton ; Nikolenko, Sergey. / Machine Learning for SAT: Restricted Heuristics and New Graph Representations. 2023.

BibTeX

@techreport{78b2bb6d90b9414c8c199122ab9079a2,
title = "Machine Learning for SAT: Restricted Heuristics and New Graph Representations",
author = "Mikhail Shirokikh and Ilya Shenbin and Anton Alekseev and Sergey Nikolenko",
year = "2023",
doi = "10.48550/arXiv.2307.09141",
language = "English",
type = "WorkingPaper",

}

RIS

TY - UNPB

T1 - Machine Learning for SAT: Restricted Heuristics and New Graph Representations

AU - Shirokikh, Mikhail

AU - Shenbin, Ilya

AU - Alekseev, Anton

AU - Nikolenko, Sergey

PY - 2023

Y1 - 2023

U2 - 10.48550/arXiv.2307.09141

DO - 10.48550/arXiv.2307.09141

M3 - Preprint

BT - Machine Learning for SAT: Restricted Heuristics and New Graph Representations

ER -

ID: 126381961