Graph Neural Networks for Scheduling of SMT Solvers

Autor:	Jan Hula, David Mojzisek, Mikolas Janota
Rok vydání:	2021
Zdroj:	2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
DOI:	10.1109/ictai52525.2021.00072
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b11166282c9c813c9b16a483d3a46342 https://doi.org/10.1109/ictai52525.2021.00072 Zobrazit plný text záznamu