Summary: Author's personal copy
Solution of systems of Boolean equations via the integer domain
Ahmed H. Abdel-Gawad, Amir F. Atiya *, Nevin M. Darwish
Department of Computer Engineering, Cairo University, Giza, Egypt
a r t i c l e i n f o
Article history:
Received 2 March 2008
Received in revised form 8 September 2009
Accepted 18 September 2009
Keywords:
System of Boolean equations
Boolean variables
Automatic test-pattern generation
Multivariate polynomials
Fast polynomial multiplication
a b s t r a c t
This paper presents a new method for solving systems of Boolean equations. The method is
based on converting the equations so that we operate in the integer domain. In the integer
domain better and more efficient methodologies for solving equations are available. The
conversion leads us to a system of polynomial equations obeying certain characteristics.

Source: Abu-Mostafa, Yaser S. - Department of Mechanical Engineering & Computer Science Department, California Institute of Technology

Collections: Computer Technologies and Information Sciences