Login / Signup

Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams.

Hitomi SatoYoshihiro YasueYusuke MatsunagaMasahiro Fujita
Published in: DAC (1990)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • decision diagrams
  • symbolic model checking
  • variable ordering
  • model checking
  • boolean formula
  • real valued
  • planning problems
  • classification error
  • information retrieval