Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.

@inproceedings{hula-2024-understanding, author = {Jan Hula and David Mojz\'{i}sek and Mikol\'{a}s Janota}, editor = {Edoardo Serra and Francesca Spezzano}, title = {{Understanding GNNs for Boolean Satisfiability through Approximation Algorithms}}, booktitle = {{Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, CIKM 2024, Boise, ID, USA, October 21-25, 2024}}, pages = {953--961}, publisher = {ACM}, year = {2024}, url = {https://doi.org/10.1145/3627673.3679813}, doi = {https://doi.org/10.1145/3627673.3679813} }