Abstract: Compared with the method by Zhang in 2017, an extended one for constructing Boolean functions with multiple-valued Walsh spectra is given, which is derived from a bent function by ...

Abstract: Boolean algebra as algebra is value indifferent. Although it is very important, the classical two-valued realization of the Boolean algebra is only a special case. The real valued ...

Libraries related to representing and processing Boolean functions, geared toward large-scale automatic reasoning, e.g., via SAT solving and AIG or BDD packages. Being able to process large-scale ...

We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; ...

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 ...