Solution of systems of Boolean equations via the integer domain

DOI10.1016/J.INS.2009.09.010zbMath1183.68752OpenAlexW2072744139MaRDI QIDQ845342

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (3)

Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations ⋮ Comments on a numerical method for solving Boolean equations ⋮ Boolean sets and most general solutions of Boolean equations

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

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