Original title: On Functions with Many Good Variable Orderings for Parity OBDDs
Authors: Savický, Petr
Document type: Research reports
Year: 1998
Language: eng
Series: Technical Report, volume: V-759
Keywords: ordered binary decision diagrams; probability; variable ordering
Project no.: GA201/98/0717 (CEP)
Funding provider: GA ČR

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0123769

Permalink: http://www.nusl.cz/ntk/nusl-33782


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports