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

SAT Solving on SATLIB DIMACS

1.4Sample Solved Rate

Gödel Trick Uniform

Updated 1mo ago

Evaluation Results

Method	Links
Gödel Trick Uniform 2025.03		1.4	27.4
Product Logic 2025.03		0	0
Gödel Logic 2025.03		0	0
Gödel Trick Logistic 2025.03		0	0