Solving non-linear Boolean equation systems by variable elimination
type: Item
instance of: scholarly article
title: Solving non-linear Boolean equation systems by variable elimination
zbMATH Open document ID: 1473.06019
author: Øyvind Ytrehus
author: Håvard Raddum
author: Gunnar Fløystad
author: Bjørn Møller Greve
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2021-06-11T00:00:00Z
Mathematics Subject Classification ID: 06E30
Mathematics Subject Classification ID: 13D02
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7357740
zbMATH Keywords: systems of Boolean equations
zbMATH Keywords: elimination of variables
zbMATH Keywords: syzygies
zbMATH Keywords: Gröbner bases
zbMATH Keywords: solving algorithm
describes a project that uses: SINGULAR
MaRDI profile type: Publication
full work available at URL: s00200-019-00399-7
OpenAlex ID: W2968391719
cites work: Upper bounds on the complexity of algebraic cryptanalysis of ciphers with a low multiplicative complexity
cites work: Q3374924
cites work: Cryptanalysis of Block Ciphers with Overdefined Systems of Equations
cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\)
cites work: Q3703293
cites work: Boolean Gröbner bases
cites work: Polybori: A framework for Gröbner-basis computations with Boolean polynomials
cites work: Beating Brute Force for Systems of Polynomial Equations over Finite Fields
cites work: Deterministic APSP, Orthogonal Vectors, and More: Quickly Derandomizing Razborov-Smolensky
cites work: Q3325833
cites work: Q3710617
cites work: Fast Exhaustive Search for Polynomial Systems in ${\mathbb{F}_2}$
cites work: On the complexity of solving quadratic Boolean systems
cites work: A crossbred algorithm for solving Boolean polynomial systems
cites work: Q3413659
cites work: Using Algebraic Geometry
cites work: Gröbner Bases, Coding, and Cryptography
cites work: Q4660688
cites work: On the Number of Linearly Independent Equations Generated by XL
cites work: Information Security and Privacy
DOI: 10.1007/S00200-019-00399-7
description: scientific article; zbMATH DE number 7357740