Login / Signup

Symmetry detection and dynamic variable ordering of decision diagrams.

Shipra PandaFabio SomenziBernard Plessier
Published in: ICCAD (1994)
Keyphrases
  • symmetry detection
  • variable ordering
  • binary decision diagrams
  • decision diagrams
  • model checking
  • max sat
  • bayesian networks
  • search algorithm
  • markov decision processes
  • branch and bound algorithm