Login / Signup

Weak mitoticity of bounded disjunctive and conjunctive truth-table autoreducible sets.

Liyu ZhangMahmoud QuweiderHansheng LeiFitra Khan
Published in: Theor. Comput. Sci. (2020)
Keyphrases
  • truth table
  • boolean functions
  • defeasible logic
  • dnf formulas
  • log log
  • knowledge base
  • integer programming
  • disjunctive normal form
  • positive integer