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