A characterization and nearly linear-time equivalence test for \(\mu\)-branching programs

zbMath0870.68124MaRDI QIDQ679436

Juan-Miguel Gracia

Publication date: 7 September 1997

Published in: Theory of Computing Systems (Search for Journal in Brave)

zbMATH Keywords

binary decision diagrams; \(\mu\)-branching programs

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68P05: Data structures