Results 81 to 85 of about 239 (85)
Some of the next articles are maybe not open access.
Comparative complexity of quantum and classical OBDDs for total and partial functions
Russian Mathematics, 2015Aida Gainutdinova
exaly
Translation among CNFs, characteristic models and ordered binary decision diagrams
Information Processing Letters, 2003Takashi Horiyama
exaly
Least upper bounds for the size of OBDDs using symmetry properties
IEEE Transactions on Computers, 2000Paul Molitor
exaly
Variable ordering algorithms for ordered binary decision diagrams and their evaluation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993exaly
Ordered Binary Decision Diagrams and the Davis-Putnam procedure
2005Tomáš E Uribe, Uribe Tomáš E
exaly