Login / Signup

Performance Analysis of Error-Correcting Binary Decision Diagrams.

Helena AstolaStanislav StankovicJaakko Astola
Published in: EUROCAST (2) (2011)
Keyphrases
  • error correcting
  • binary decision diagrams
  • error correction
  • boolean functions
  • planning problems
  • model checking
  • error detection
  • error resilience
  • knowledge compilation
  • cost sensitive