Boolean Satisfiability Solving on SATLIB RTI random 3-SAT instances
259.5Conflicts (Pure)
p-bit-guided CDCL
Updated 28d ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 259.5 | 43 | 83.4 | 6,012 | 1,015.5 | 83.1 |
p-bit-guided CDCL
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 259.5 | 43 | 83.4 | 6,012 | 1,015.5 | 83.1 |