Learning Better Representations From Less Data For Propositional Satisfiability - Ghanem, Mohamed; Schmitt, Frederik; Siber, Julian; Finkbeiner, Bernd (Advances in Neural Information Processing Systems, 2024)