Hypergraph Neural Networks Accelerate MUS Enumeration

Hiroya Ijima, Koichiro Yawata

Enumerating Minimal Unsatisfiable Subsets (MUSes) is a fundamental task in constraint satisfaction problems (CSPs). Its major challenge is the exponential growth of the search spac…