Title :
An Algorithm for Solving Boolean Equations
Author :
Svoboda, Antonin
Author_Institution :
Research Institute of Mathematical Machines, Praha, Czechoslovakia
Keywords :
Boolean algebra; Boolean functions; Equations; Testing;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1963.263655
