Hypergraph neural networks trained via reinforcement learning enumerate more minimal unsatisfiable subsets within a fixed budget of satisfiability checks than conventional methods.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
citing papers explorer
-
Hypergraph Neural Networks Accelerate MUS Enumeration
Hypergraph neural networks trained via reinforcement learning enumerate more minimal unsatisfiable subsets within a fixed budget of satisfiability checks than conventional methods.
- Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs