TY  - RPRT
TI  - Learning Reliable Logical Rules with SATNet
AU  - Zhaoyu Li
AU  - Jinpei Guo
AU  - Yuhe Jiang
AU  - Xujie Si
PY  - 2023
UR  - https://arxiv.org/abs/2310.02133
ID  - 2310.02133
ER  -