Login / Signup
Symmetry detection and dynamic variable ordering of decision diagrams.
Shipra Panda
Fabio Somenzi
Bernard 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