Login / Signup

GNN Based Extraction of Minimal Unsatisfiable Subsets.

Sota MoriyamaKoji WatanabeKatsumi Inoue
Published in: ILP (2023)
Keyphrases
  • unsatisfiable cores
  • minimal subsets
  • information extraction
  • automatic extraction
  • hidden structure
  • neural network
  • image processing
  • database systems
  • hidden markov models
  • automatically extracted
  • databases
  • max sat