Login / Signup

Structure-Guided Solution of Constrained Horn Clauses.

Omer RappoportOrna GrumbergYakir Vizel
Published in: ATVA (2023)
Keyphrases
  • horn clauses
  • np complete
  • structural information
  • inference rules
  • conceptual clustering
  • data sets
  • data mining
  • logic programs
  • inductive logic programming