Free binary decision diagrams for the computation of \(\text{EAR}_{ n }\)

DOI10.1007/s00037-006-0206-5zbMath1110.68044DBLPjournals/cc/KaraK06OpenAlexW1999903712WikidataQ57601533 ScholiaQ57601533MaRDI QIDQ2506164

Jan Kára, Daniel Král'

Publication date: 28 September 2006

Published in: Computational Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00037-006-0206-5

zbMATH Keywords

Boolean functionsBinary decision diagramsfree binary decision diagrams

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Boolean functions (06E30) Data structures (68P05)

This page was built for publication: Free binary decision diagrams for the computation of \(\text{EAR}_{ n }\)