Minimization of binary programs realizing logical functions
From MaRDI portal
Publication:585170
zbMath0523.94031MaRDI QIDQ585170
Publication date: 1983
Published in: Automation and Remote Control (Search for Journal in Brave)
decompositionBoolean functionlength of a binary-decision programorthogonal system of logical functions
Analysis of algorithms and problem complexity (68Q25) Theory of software (68N99) Algorithms in computer science (68W99)
This page was built for publication: Minimization of binary programs realizing logical functions