Learning Reliable Logical Rules with SATNet - Li, Zhaoyu; Guo, Jinpei; Jiang, Yuhe; Si, Xujie (Advances in Neural Information Processing Systems, 2023)