Neural approaches to SAT solving: Design choices and interpretability. - David Mojzísek; Jan Hula; Ziwei Li; Ziyu Zhou 013; Mikolás Janota (Int. J. Approx. Reason., 2026)