Research paper proposing hypergraph neural networks to accelerate minimal unsatisfiable set (MUS) enumeration. Combines neural networks with constraint satisfaction problem solving, with applications to SAT solving and formal verification.
Research
Hypergraph Neural Networks Accelerate MUS Enumeration
Neural networks boost the speed of enumerating minimal unsatisfiable sets in SAT solvers, bridging machine learning and formal verification workflows.
Monday, April 13, 2026 12:00 PM UTC2 MIN READSOURCE: arXiv CS.AIBY sys://pipeline
Tags
research