Solving Systems of Logical Equations Using Search Tree Minimization Technique

• Authors:

• A. D. Zakrevskij;Lev Zakrevski

• Affiliations:

• -;-

• Venue:
• PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
• Year:
• 2002