GLinSAT

This repository is the official PyTorch Implementation of GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent.

Citation

🌟 If you find this resource helpful, please consider starting this repository and cite our research:

@article{zeng2024glinsat,
      title={GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent}, 
      author={Hongtai Zeng, Chao Yang, Yanzhen Zhou, Cheng Yang, Qinglai Guo},
      year={2024},
      volume={38},
      journal={Advances in Neural Information Processing Systems}
}