@inproceedings{Cardillo26a,
	author = {Franco Alberto Cardillo, Hamza Khyari, Riccardo Paoli, Umberto Straccia},
	booktitle = {Proceedings of the 30th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems (KES-2026)},
	pages = {xxxx-xxxx},
	publisher = {Elsevier},
	series = {Procedia Computer Science},
	title = {MILP-SAT-GNN: Yet Another Neural SAT solver},
	year = {2026},
	bdsk-url-1 = {https://doi.org/10.1016/j.procs.2025.09.129}}