Login / Signup

Evolutionary-Reduced Ordered Binary Decision Diagram.

Hossein MoeinzadehMehdi MohammadiHossein Pazhoumand-darArman MehrbakhshNavid KheibarNasser Mozayani
Published in: Asia International Conference on Modelling and Simulation (2009)
Keyphrases
  • binary decision diagrams
  • genetic algorithm
  • pseudo boolean constraints
  • logic programming
  • decision diagrams
  • model checking
  • boolean functions
  • data structure
  • heuristic search