TY - RPRT TI - GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent AU - Hongtai Zeng AU - Chao Yang AU - Yanzhen Zhou AU - Cheng Yang AU - Qinglai Guo PY - 2024 UR - https://arxiv.org/abs/2409.17500 ID - 2409.17500 ER -