The Community for Technology Leaders
Green Image
Issue No. 09 - September (1996 vol. 45)
ISSN: 0018-9340
pp: 993-1002
<p><b>Abstract</b>—Ordered binary decision diagrams are a useful representation of Boolean functions, if a good variable ordering is known. Variable orderings are computed by heuristic algorithms and then improved with local search and simulated annealing algorithms. This approach is based on the conjecture that the following problem is NP-complete. Given an OBDD <it>G</it> representing <it>f</it> and a size bound <it>s</it>, does there exist an OBDD <it>G</it>* (respecting an arbitrary variable ordering) representing <it>f</it> with at most <it>s</it> nodes? This conjecture is proved.</p>
Ordered binary decision diagrams, NP-completeness, variable orderings, verification, graph algorithms.
Ingo Wegener, Beate Bollig, "Improving the Variable Ordering of OBDDs Is NP-Complete", IEEE Transactions on Computers, vol. 45, no. , pp. 993-1002, September 1996, doi:10.1109/12.537122
89 ms
(Ver 3.3 (11022016))