Exact Affine OBDDs.

Rishat Ibrahimov Kamil Khadiev Abuzer Yakaryilmaz

Published in: CoRR (2017)

Keyphrases

databases
affine invariant
database
model checking
boolean functions
affine transformation
real time
machine learning
computer vision
genetic algorithm
e learning
transformed images
ordered binary decision diagrams