Login / Signup

On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems.

Shinobu NagayamaTsutomu SasaoJon T. ButlerMitchell A. ThorntonTheodore W. Manikas
Published in: IEICE Trans. Inf. Syst. (2014)
Keyphrases
  • knowledge compilation
  • expert systems
  • database
  • knowledge base
  • finite state machines