Worst case examples for operations on OBDDs
From MaRDI portal
Publication:294746
DOI10.1016/S0020-0190(00)00053-3zbMath1339.68124MaRDI QIDQ294746
Publication date: 16 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019000000533?np=y
Related Items
Weighted \(A^*\) search - unifying view and application, Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems
Uses Software
Cites Work