Login / Signup

Hydras: Directed hypergraphs and Horn formulas.

Robert H. SloanDespina StasiGyörgy Turán
Published in: Theor. Comput. Sci. (2017)
Keyphrases
  • horn formulas
  • knowledge compilation
  • graph theory
  • revision operators
  • databases
  • artificial intelligence