Evolving constructions for balanced, highly nonlinear boolean functions
Claude Carlet, Marko Djurasevic, Domagoj Jakobović, Luca Mariot, Stjepan Picek
Abstract
Open-access reader
Claude Carlet, Marko Djurasevic, Domagoj Jakobović, Luca Mariot, Stjepan Picek
Abstract
Open-access reader
Finding balanced, highly nonlinear Boolean functions is a difficult problem where it is not known what nonlinearity values are possible to be reached in general. At the same time, evolutionary computation is successfully used to evolve specific Boolean function instances, but the approach cannot easily scale for larger Boolean function sizes. Indeed, while evolving smaller Boolean functions is almost trivial, larger sizes become increasingly difficult, and evolutionary algorithms perform suboptimally.
OpenAlex reports 11 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Finding balanced, highly nonlinear Boolean functions is a difficult problem where it is not known what nonlinearity values are possible to be reached in general. At the same time, evolutionary computation is successfully used to evolve specific Boolean function instances, but the approach cannot easily scale for larger Boolean function sizes. Indeed, while evolving smaller Boolean functions is almost trivial, larger sizes become increasingly difficult, and evolutionary algorithms perform suboptimally.
Key concepts: Boolean function, Maximum satisfiability problem, Boolean circuit, Standard Boolean model, Boolean expression, Boolean network, Parity function, And-inverter graph