Abstract: The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its ...

Abstract: Finding Boolean functions suitable for cryptographic primitives is a complex combinatorial optimization problem, since they must satisfy several properties to resist cryptanalytic attacks, ...

An illustration of a magnifying glass. An illustration of a magnifying glass.

The optimism that deep neural networks, particularly those based on the Transformer design, will speed up scientific discovery stems from their contributions to previously intractable problems in ...

ABSTRACT: This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and ...

The folder search_algorithm contains the implementations of the deterministic search alogorithn of Section 4 of the paper (and the heuristic presented in Appendix). Also it contains the execution of ...