Login / Signup
An ordering heuristic to develop the binary decision diagram based on structural importance.
Lisa M. Bartlett
John D. Andrews
Published in:
Reliab. Eng. Syst. Saf. (2001)
Keyphrases
</>
binary decision diagrams
knowledge base
combinatorial problems
pseudo boolean constraints