Login / Signup

Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams.

Kenneth M. ButlerDon E. RossRohit KapurM. Ray Mercer
Published in: DAC (1991)
Keyphrases
  • ordered binary decision diagrams
  • search algorithm
  • multi agent
  • search strategies