Sign in

Generation of Prime Implicants by Direct Multiplication.

Jon G. BredesonPaul T. Hulina
Published in: IEEE Trans. Computers (1971)
Keyphrases
  • prime implicants
  • prime implicates
  • boolean functions
  • abductive reasoning
  • automated reasoning
  • normal form
  • propositional formulas
  • logic programs
  • belief change
  • search algorithm
  • relational databases
  • modal logic