On the Complexity and Optimization of Branching Programs for Decision Diagram Machines

Autor: Dvořák, V.
Zdroj: In IFAC Proceedings Volumes 2012 45(7):91-96
Databáze: ScienceDirect
Externí odkaz: