Algorithms for Reduced Ordered Binary Decision Diagrams.

Julius Michaelis Max W. Haslbeck Peter Lammich Lars Hupel

Published in: Arch. Formal Proofs (2016)

Keyphrases

orders of magnitude
learning algorithm
optimization problems
computational complexity
genetic algorithm
knowledge base
multi agent
knowledge representation
simulated annealing
benchmark problems
ordered binary decision diagrams