Login / Signup

An Approach for Genetic Synthesizer of Binary Decision Diagram.

Hidenori SakanashiTetsuya HiguchiHitoshi IbaYukinori Kakazu
Published in: International Conference on Evolutionary Computation (1996)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • pseudo boolean constraints
  • planning problems
  • genetic algorithm
  • model checking
  • decision diagrams
  • boolean formula
  • evolutionary algorithm
  • multi dimensional