BooLSPLG: A Library with Parallel Algorithms for Boolean Functions and S-Boxes for GPU
In this paper, we present a library with sequential and parallel functions for computing some of the most important cryptographic characteristics of Boolean and vectorial Boolean functions. The library implements algorithms to calculate the nonlinearity,
Dushan Bikov +2 more
doaj +1 more source
Modification of the random search method
The paper considers linear programming problems with Boolean variables. This is a part of mathematical programming focused on solving practical optimization problems, which could be solved and correctly described with a mathematical model of the problem ...
S.I. Yaremchuk, O.A. Shupikov
doaj +1 more source
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks [PDF]
Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention.
Tarek Khaled, Belaïd Benhamou
doaj +1 more source
Neutral Rewrite Mutation Operator for Genetic Programming applied to Boolean Domain Problems
The effect of semantically neutral tree rewrites is analyzed in the context of genetic programming applied to Boolean domain problems. Different setups of the proposed Neutral Rewrite Operator are studied from the perspective of improving performance.
Dmytro Vitel +2 more
doaj +1 more source
Deterministic Algorithms for Solving Boolean Polynomial Equations Based on Channel Coding Theory
Solving the satisfiability problems of Boolean polynomial equations is still an open challenge in the fields of mathematics and computer science.
Guangfu Wu +5 more
doaj +1 more source
Using the NEOS Server for Solving Two Classes of Optimization Problems
NEOS server provides free access to the library of necessary software for solving optimization problems. The effective numerical methods developed can be used for a specific application or for solving a wide range of mathematical programming problems ...
Halyna Bila +4 more
doaj +1 more source
Discovering Non-Linear Boolean Functions by Evolving Walsh Transforms with Genetic Programming
Stream ciphers usually rely on highly secure Boolean functions to ensure safe communication within unsafe channels. However, discovering secure Boolean functions is a non-trivial optimization problem that has been addressed by many optimization ...
Luigi Rovito +2 more
doaj +1 more source
Hardware implementation of Boolean functions based on the automaton model
Objectives. Currently, electronic control devices are increasingly being introduced into various household and production products. Microcontrollers of a wide variety of configurations are widely used as such devices.
A. A. Butov
doaj +1 more source
On complexity of optimized crossover for binary representations [PDF]
We consider the computational complexity of producing the best possible offspring in a crossover, given two solutions of the parents. The crossover operators are studied on the class of Boolean linear programming problems, where the Boolean vector of ...
Eremeev, Anton
core +3 more sources
Terse Integer Linear Programs for Boolean Optimization [PDF]
We present a new polyhedral approach to nonlinear Boolean optimization. Compared to other methods, it produces much smaller integer programming models, making it more efficient from a practical point of view. We mainly obtain this by two different ideas: first, we do not require the objective function to be in any normal form. The transformation into a
Buchheim C, Rinaldi G
openaire +4 more sources

