Login / Signup

Fast parallel algorithms for finding all prime implicants for discrete functions.

Walter Oberschelp
Published in: Logic and Machines (1983)
Keyphrases
  • parallel algorithm
  • prime implicants
  • prime implicates
  • parallel computation
  • shared memory
  • boolean functions
  • abductive reasoning
  • pc cluster
  • cluster of workstations
  • automated reasoning
  • belief change