Login / Signup

Faulty sets of Boolean formulas and Łukasiewicz logic.

Daniele MundiciClaudia Picardi
Published in: J. Log. Comput. (2017)
Keyphrases
  • boolean formula
  • horn clauses
  • lower bound
  • first order logic
  • modal logic
  • linear constraints
  • binary decision diagrams
  • truth values
  • conjunctive normal form
  • unsatisfiable cores