论文信息 - Solving Large Systems of Boolean Equations - 字舞流文

Solving Large Systems of Boolean Equations

Arkadij Zakrevskij

[1] Arkadij Zakrevskij,et al. Reduction algorithms for solving large systems of logical equations , 2000, Comput. Sci. J. Moldova.

[2] Arkadij Zakrevskij,et al. Solving Systems of Logical Equations Using Search Tree Minimization Technique , 2002, PDPTA.