Hypergraph Neural Networks Accelerate MUS Enumeration
arXiv:2604.09001v1 Announce Type: cross
Abstract: Enumerating Minimal Unsatisfiable Subsets (MUSes) is a fundamental task in constraint satisfaction problems (CSPs). Its major challenge is the exponential growth of the search space, which becomes part…