Boolean Satisfiability Solving on SATLIB BMS (backbone-minimal sub-instances)
650.5Pure Conflicts
p-bit-guided CDCL
Updated 28d ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 650.5 | 404.5 | 37.8 | 15,742.5 | 9,245.5 | 41.3 |
p-bit-guided CDCL
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 650.5 | 404.5 | 37.8 | 15,742.5 | 9,245.5 | 41.3 |