Solution of systems of Boolean equations via the integer domain

DOI10.1016/J.INS.2009.09.010MaRDI QIDQ845342zbMATH OpenOpenAlexFDO

Authors Ahmed H. Abdel-Gawad, Amir F. Atiya, Nevin M. Darwish

Publication date 28 January 2010

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2009.09.010

zbMATH Keywords

multivariate polynomialsBoolean variablesfast polynomial multiplicationautomatic test-pattern generationsystem of Boolean equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• scientific article; zbMATH DE number 4014450
• On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
• Approximate solutions of systems of Boolean equations
• Solving systems of linear equations with Boolean variables

Cites work

• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• Diagnosis of Automata Failures: A Calculus and a Method
• Solving Boolean equations using ROSOP forms

Cited in

(15)

• Construction of smooth convex extensions of Boolean functions
• Comments on a numerical method for solving Boolean equations
• Solution of Boolean differential equations on systolic arrays
• Concave continuations of Boolean functions and some of their properties and applications
• Convex continuation of a Boolean function and its applications
• scientific article; zbMATH DE number 4014450 (Why is no real title available?)
• Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
• Disaggregation of Diophantine equation with Boolean variables
• On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
• Boolean sets and most general solutions of Boolean equations
• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• Tools and Algorithms for the Construction and Analysis of Systems
• An approach to solving a Boolean linear equation with integer positive coefficients
• On the existence and properties of convex extensions of Boolean functions
• scientific article; zbMATH DE number 2090051 (Why is no real title available?)

This page was built for publication: Solution of systems of Boolean equations via the integer domain

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