Reed-Muller Workshop

May 28, 2021


A Virtual Workshop


Invited Talk Slides


The Multiplicative Complexity of Boolean Functions

Mathias Soeken


Contributed Papers


Tap or click on the title to open a paper.  All papers are protected using the password sent to workshop registrants.  The password should not be shared with others


The papers are provided for the convenience of workshop attendees.  They should not be shared further without the permission of the authors.


The papers are in the order of presentation at the workshop.


Polynomial Formal Verification of Area-efficient and Fast Adders

Alireza Mahzoon and Rolf Drechsler


Analysis of Quantum Circuits with Boolean Inputs using the XBOOLE Monitor XBM 2

Bernd Steinbach and Martin Lukac


Further Results on Ternary Functions with Bent Reed-Muller-Fourier Spectra

Claudio Moraga, Radomir S. Stanković and Milena Stanković


Experiments Toward Determining Distances of Quadratic Ternary Bent Functions Constructed by FFT-like Permutation Matrices

Radomir S. Stanković, Milena Stanković, Claudio Moraga and Jaakko T. Astola


Fast Literal Transformations for Symmetric Functions

Tsutomu Sasao and Jon T. Butler


An Improved SAT-based ESOP Minimizer: A List of Minimal ESOPs for 8-Variable Symmetric Functions

Tomoyuki Fujita, Tsutomu Sasao and Yukihiro Iguchi


ANF Computation of Cryptographic Switching Functions using a Netlist Representation

David K. Houngninou, D. Michael Miller and Mitchell A. Thornton