Abstrakt. Moderna SAT-lösare har upplevt anmärkningsvärda framsteg när det gäller att lösa industriella fall. De flesta tekniker har utvecklats efter en intensiv experimentell provningsprocess. Nyligen har det gjorts vissa försök att analysera strukturen av dessa formler i termer av komplexa nätverk, med det långsiktiga målet att förklara framgången för dessa SAT-lösningsmetoder, och eventuellt förbättra dem. Vi studerar den fraktala dimensionen av SAT-formler, och visar att de flesta industriella familjer av formler är självlika, med en liten fraktal dimension. Vi visar också att denna dimension inte påverkas av tillägget av inlärda klausuler. Vi undersöker hur dimensionen av en formel, tillsammans med andra grafegenskaper kan användas för att karakterisera SAT-fall. Slutligen ger vi empiriska belägg för att dessa grafegenskaper kan användas i toppmoderna portföljer.
Också, de flesta industriella SAT instanser har fraktal dimension REF.
The Fractal Dimension of SAT Formulas
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}