Browsing by Subject "OBDD"
Now showing items 1-2 of 2
-
Complexity Bounds on Some Fundamental Computational Problems for Quantum Branching Programs
(2005)We study quantum computational complexity of several problems connected to the Hidden Subgroup Problem. This problem drew substantial attention when a polynomial time quantum algorithm for it was found. The algorithm ... -
JINC - A Multi-Threaded Library for Higher-Order Weighted Decision Diagram Manipulation
(2010-11-16)Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The efficiency of the symbolic methods de- pends on the underlying OBDD library. Available OBDD libraries ...
