Non-Abelian groups in optimization of decision diagrams representations of discrete functions

DOI10.1023/A:1011265018200zbMath1001.68027MaRDI QIDQ5943267

Radomir S. Stanković

Publication date: 15 December 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

decision diagram

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Non-Abelian groups in optimization of decision diagrams representations of discrete functions