Search for a command to run...
SATNet: ربط التعلم العميق والمنطق الاستدلال باستخدام حلّال الرضا القابل للمفاضلة