On approximation by XOR-OBDDs.

Henrik Brosenne Carsten Damm Matthias Homeister Stephan Waack

Published in: Inf. Process. Lett. (2007)

Keyphrases

approximation error
boolean functions
neural network
model checking
closed form
relative error
approximation methods
ordered binary decision diagrams
real time
artificial intelligence
decision trees
search algorithm
worst case
model selection
error bounds
efficient computation