Hypergraph Neural Networks Speed Up MUS Enumeration in Constraint Problems
Researchers propose a domain-agnostic method using Hypergraph Neural Networks to accelerate Minimal Unsatisfiable Subset (MUS) enumeration, addressing the exponential search space challenge in constraint satisfaction problems. This approach avoids reliance on explicit variable-constraint relationships, broadening its applicability.