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

automatic test-pattern generationBoolean variablesfast polynomial multiplicationmultivariate polynomialssystem 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

(20)

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

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)