Share your thoughts, 1 month free Claude Pro on usSee more

SAT Solving on SAT n=50 random (alpha=4.26)

100Solve Rate

Occurrence + domain

Updated 12d ago

Evaluation Results

Method	Links
Occurrence + domain 2026.05		100
VSIDS + domain 2026.05		100
Pure random 2026.05		100
SSA (cumulative) 2026.05		25.6
Causal (cumulative) 2026.05		16