Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex Cover Tam Ngoc-Bang Nguyen