References
- Abdel-Gawad , A. H. , Atiya , A. F. and Darwish , N. M. 2010 . Solution of systems of Boolean equations via the integer domain . Inform. Sci. , 180 : 288 – 300 .
- Al-Jabri , A. O. 2004 . “ An efficient computer package for solving boolean equations and some applications ” . Jeddah, , Saudi Arabia : Department of Electrical and Computer Engineering, King Abdulaziz University . Unpublished Master Thesis
- Baneres , D. , Cortadella , J. and Kishinevsky , M. 2009 . A recursive paradigm to solve Boolean relations . IEEE Trans. Comput , 58 ( 4 ) : 512 – 527 .
- Bochmann , D. , Zakrevskij , A. D. and Posthoff , C. 1984 . Boolesche Gleichungen: Theorie, Anwendungen und Algorithmen (Boolean Equations: Theory, Applications and Algorithms) , Berlin, Germany : Sammelband-Verlag .
- Brayton , R. , Hachtel , G. , McMullen , C. and Sangiovanni-Vincentelli , A. 1984 . Logic Minimization Algorithms for VLSI Synthesis , Kluwer Academic Publishers, Dordrecht, The Netherlands .
- Brown , F. M. 1990 . Boolean Reasoning: The Logic of Boolean Equations , Boston, MA, USA : Kluwer Academic Publishers .
- Brown , F. M. 2003 . Boolean Reasoning: The Logic of Boolean Equations , 2 , Mineola, NY, USA : Dover Publications .
- Brusentsov , N. P. and Vladimirova , Y. S. 1998 . Solution of Boolean equations . Comput. Math. Model. , 9 ( 4 ) : 287 – 295 .
- Bryant , R. E. 1986 . Graph-based algorithms for Boolean function manipulation . IEEE Trans. Comput. , C-35 : 677 – 691 .
- Chai , F. , Gao , X.-S. and Yuan , C. 2008 . A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers . J. Syst. Sci. Complex. , 21 : 191 – 208 .
- Hammer , P. L. and Rudeanu , S. 1968 . Boolean Methods in Operations Research and Related Areas , Berlin, , Germany : Springer .
- Jung , G. 1995 . Comments on ‘Some additions to solution of switching equations based on tabular algebra’ . IEEE Trans. Comput. , 44 : 1357 – 1358 .
- Levchenkov , V. S. 1999 . Solution of equations in Boolean algebra . Comput. Math. Model , 11 ( 2 ) : 154 – 163 .
- Levchenkov , V. S. 2000 . Boolean equations with many unknowns . Comput. Math. Model , 11 ( 2 ) : 143 – 153 .
- Rudeanu , S. 1974 . Boolean Functions and Equations , Amsterdam, the Netherlands : North-Holland Publishing Company & American Elsevier .
- Rudeanu , S. 1993 . Unique solutions of Boolean ring equations . Discrete Math. , 122 ( 1–3 ) : 381 – 383 .
- Rudeanu , S. 1995 . On quadratic Boolean equations . Fuzzy Sets and Systems , 75 ( 2 ) : 209 – 213 .
- Rudeanu , S. 2001 . Lattice Functions and Equations , London, , UK : Springer .
- Rudeanu , S. 2003 . Algebraic methods versus map methods of solving Boolean equations . Int. J. Comput. Math , 80 ( 7 ) : 815 – 817 .
- Rushdi , A. M. 1985 . Map derivation of the minimal sum of a switching function from that of its complement . Microelectron. Reliab , 25 ( 6 ) : 1055 – 1065 .
- Rushdi , A. M. 1987 . Improved variable-entered Karnaugh map procedures . Comput. Electrical Eng , 13 ( 1 ) : 41 – 52 .
- Rushdi , A. M. 1987 . On computing the syndrome of a switching function . Microelectron. Reliab , 27 ( 4 ) : 703 – 716 .
- Rushdi , A. M. 2001 . Using variable-entered Karnaugh maps to solve Boolean equations . Int. J. Comput. Math , 78 ( 1 ) : 23 – 38 .
- Rushdi , A. M. 2004 . Efficient solution of Boolean equations using variable-entered Karnaugh maps . J. King Abdul-Aziz Univ. Eng. Sci , 15 ( 2 ) : 21 – 29 .
- Rushdi , A. M. and Al-Yahya , H. A. 2000 . A Boolean minimization procedure using the variable-entered Karnaugh map and the generalized consensus concept . Int. J. Electron , 87 ( 7 ) : 769 – 794 .
- Rushdi , A. M. and Al-Yahya , H. A. 2001 . Further improved variable-entered Karnaugh map procedures for obtaining the irredundant forms of an incompletely-specified switching function . J. King Abdulaziz Univ. Eng. Sci , 13 ( 1 ) : 111 – 152 .
- Rhyne , V. , Noe , P. , Mckinney , M. and Pooch , U. 1977 . A new technique for the fast minimization of switching functions . IEEE Trans. Comput. , C-26 : 757 – 764 .
- Serfati , M. 2003 . Boolean differential equations . Discrete Math. , 146 ( 1–3 ) : 235 – 246 .
- Trabado , P. P. , Lloris-Ruiz , A. and Ortega-Lopera , J. 1993 . Solution of switching equations based on a tabular algebra . IEEE Trans. Comput. , 42 : 591 – 596 .
- Tucker , J. H. and Tapia , M. A. Using Karnaugh maps to solve Boolean equations by successive elimination . Proceedings of IEEE Southeastcon 92 . Birmingham, AL, USA. Vol. 2 , pp. 589 – 592 .
- Tucker , J. H. and Tapia , M. A. Solution of a class of Boolean equations . Proceedings of IEEE Southeastcon 95 . New York, NY, USA. Vol. 1 , pp. 106 – 112 .
- Unger , S. H. 1994 . Some additions to solution of switching equations based on a tabular algebra . IEEE Trans. Comput. , 43 : 365 – 367 .
- Woods , S. and Casinovi , G. Efficient solution of systems of Boolean equations . Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design . pp. 542 – 546 .
- Woods , S. and Casinovi , G. 2001 . Multiple-level logic simulation algorithm . IEE Proc. Comput. Digital Techn , 148 ( 3 ) : 129 – 137 .