Login / Signup

Virtual instrument for truth table construction of analytically-defined Boolean functions.

Vladimir Mateev
Published in: CompSysTech (2008)
Keyphrases
  • boolean functions
  • truth table
  • virtual instrument
  • uniform distribution
  • dnf formulas
  • membership queries
  • monitoring system
  • binary decision diagrams
  • multi valued
  • learning algorithm
  • logic programming
  • polynomial size