OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation.

Rolf Krieger Bernd Becker Can Ökmen

Published in: FTCS (1995)

Keyphrases

pattern generation
optimization problems
probability distribution
optimization process
optimization algorithm
combinatorial optimization
global optimization
cellular automaton
model checking
decision trees
markov chain