Boolean system solving on Random Boolean system n = 28 m = 28 Square system
83.5664Median Solving Time (s)Proposed SA
Evaluation Results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 83.5664 | |
| BCS2025.09 | 84.5413 | |
| Cryptominisat2025.09 | 123.0095 |
Loading the SOTA2 catalog…