Hypergraph Neural Networks Accelerate MUS Enumeration

This research introduces a domain-agnostic approach using Hypergraph Neural Networks and reinforcement learning to accelerate the enumeration of Minimal Unsa...

Level: advanced

By Hiroya Ijima, Koichiro Yawata

Category: research