Login / Signup

The joy of implications, aka pure Horn formulas: Mainly a survey.

Marcel Wild
Published in: Theor. Comput. Sci. (2017)
Keyphrases
  • horn formulas
  • knowledge compilation