PP-2008-41: Does SAT exhibit fractal behavior?

PP-2008-41: Joosten, Joost J. and Passmore, Grant Olney (2008) Does SAT exhibit fractal behavior? [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2008-41.text.pdf

Download (150kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2008-41.abstract.txt

Download (575B)

Abstract

In this paper we study the structure of the set SAT of
all satisfiable propositional logical formulas. In particular
we raise the question whether the distribution
of SAT within the set A of all propositional formulas
exhibits fractal behavior. This answer is of course
relative to a metric on A. We show that for one such
metric there is strong evidence that the distribution
does indeed behave wildly. Next we look at an alternative
metric.

Item Type: Report
Report Nr: PP-2008-41
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: SAT, Fractal, Theory of Computation
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/315

Actions (login required)

View Item View Item