An iterative method for linear decomposition of index generating functions

DOI10.1007/S12095-019-0351-8zbMATH Open1419.94099OpenAlexW2911155928MaRDI QIDQ2325307FDOQ2325307

Authors: Yanyan Li 

Publication date: 25 September 2019

Published in: Cryptography and Communications (Search for Journal in Brave)

Full work available at URL: https://repozitorij.upr.si/Dokument.php?id=15884&dn=

Recommendations

• scientific article; zbMATH DE number 7536575
• Methods for decomposition of Boolean functions: algorithms, quality indices, and applications
• Reduction of variables of index generation functions using linear and quadratic transformations
• An exact optimization method using ZDDs for linear decomposition of symmetric index generation functions
• Series parallel decomposition of a system of incompletely specified Boolean functions

zbMATH Keywords

linear decomposition(incompletely specified) index generating functionslinear injective mappings

Mathematics Subject Classification ID

Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05) Numerical methods for discrete and fast Fourier transforms (65T50)

Cites Work

• Theory and Applications of Satisfiability Testing
• Title not available (Why is that?)
• Enumerating Boolean functions of cryptographic significance
• Boolean functions and their applications in cryptography
• Title not available (Why is that?)
• Losing Weight by Gaining Edges
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• MiniSat
• JBool

This page was built for publication: An iterative method for linear decomposition of index generating functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2325307)