Solution of systems of Boolean equations via the integer domain

DOI10.1016/J.INS.2009.09.010zbMATH Open1183.68752OpenAlexW2072744139MaRDI QIDQ845342FDOQ845342

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

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

Recommendations

• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• scientific article
• 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

zbMATH Keywords

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

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

Cited In (13)

• Construction of smooth convex extensions of Boolean functions
• On the existence and properties of convex extensions of Boolean functions
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Disaggregation of Diophantine equation with Boolean variables
• Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
• Boolean sets and most general solutions of Boolean equations
• Comments on a numerical method for solving Boolean equations
• Concave continuations of Boolean functions and some of their properties and applications
• Convex continuation of a Boolean function and its applications
• An approach to solving a Boolean linear equation with integer positive coefficients
• Solution of Boolean differential equations on systolic arrays

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)