Solving Systems of Logical Equations Using Search Tree Minimization Technique.

Arkadij Zakrevskij Lev Zakrevski Solving Systems of Logical Equations Using Search Tree Minimization Technique. 1145-1150 2002 conf/pdpta/2002-3 PDPTA db/conf/pdpta/pdpta2002-3.html#ZakrevskijZ02