Abstract
This paper proposes a constructive proof that any mapping on n boolean variables can be computed by a straight-line program made up of n2 assignments of the n input variables.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Burckel, S., Morillon, M. Quadratic Sequential Computations of Boolean Mappings. Theory Comput Systems 37, 519–525 (2004). https://doi.org/10.1007/s00224-003-1069-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-003-1069-7