GNN Based Extraction of Minimal Unsatisfiable Subsets.

Sota Moriyama, Koji Watanabe, Katsumi Inoue

Browse the full ILP paper archive.