Master Computer Science



The following thesis was written by a student in the 2023-2024 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleAlgorithm Selection for SAT Using Graph Neural Networks - CONFIDENTIAL
StudentShavit, Hadar
ProgrammeMaster Computer Science
Year2023-2024
SupervisorsMarie Anastacio (first supervisor)
Bram Renting (second supervisor)
Hoos, prof.dr. H.H. (Holger)

Citation details

Shavit, Hadar, Algorithm Selection for SAT Using Graph Neural Networks - CONFIDENTIAL, Thesis Master Computer Science, LIACS, Leiden University, 2024.