Paper

The Fractal Dimension of SAT Formulas

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing process... (read more)

Results in Papers With Code
(↓ scroll down to see all results)