Solving Systems of Logical Equations Using Search Tree Minimization Technique.

Arkadij Zakrevskij, Lev Zakrevski

Browse the full PDPTA paper archive.