IR
Anthology
Community
David
Mojzísek
2024
doi
dblp
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.
Jan Hula
|
David Mojzísek
|
Mikolás Janota
Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, CIKM 2024, Boise, ID, USA, October 21-25, 2024