GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent - Zeng, Hongtai; Yang, Chao; Zhou, Yanzhen; Yang, Cheng; Guo, Qinglai (Advances in Neural Information Processing Systems, 2024)