Polynomial Bounds of CFLOBDDs against BDDs.

Xusheng Zhi Thomas W. Reps

Published in: CoRR (2024)

Keyphrases

set bounds propagation
upper bound
heuristic search
lower bound
error bounds
worst case
upper and lower bounds
tight bounds
reinforcement learning
confidence bounds
lower and upper bounds
polynomially bounded
constraint satisfaction problems
data sets
knowledge compilation
average case
real time
worst case bounds