• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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