Department of Computer Science and Engineering, and MoE Key Lab of Artiﬁcial Intelligence, Shanghai Jiao Tong University; Shanghai AI Laboratory; Department of Computer Science and Engineering, and MoE Key Lab of Artiﬁcial Intelligence, Shanghai Jiao Tong University
Runzhong Wang, Yunhao Zhang, Ziao Guo, Tianyi Chen, Xiaokang Yang, Junchi Yan
LinSATNet: The Positive Linear Satisfiability Neural Networks