Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex Cover - Nguyen, Tam Ngoc-Bang; Doan, Anh-Dzung; Cai, Zhipeng; Chin, Tat-Jun (Advances in Neural Information Processing Systems, 2024)