Boolean system solving on Random Boolean system n = 32, m = 32 (Square system) benchmark leaderboard · SOTA2 Research

Boolean system solving on Random Boolean system n = 32, m = 32 (Square system)

1,046.0664Median Solving Time (s)Proposed SA

Evaluation Results

Method	Links
Proposed SA2025.09		1,046.0664
BCS2025.09		1,135.4577