Hongtai Zeng, Chao Yang, Yanzhen Zhou, Cheng Yang, Qinglai Guo: GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent. NeurIPS 2024