Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Does SAT Exhibit Fractal Behavior?
Authors: Grant Passmore ; Joost Joosten
Date:Oct 2008
Publication Title:Institute for Logic, Language and Computation Research Report, University of Amsterdam
Publisher:ILLC, Amsterdam
Publication Type:Other Publication Status:Pre-print
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.
Links To Paper
1st Link
Bibtex format
author = { Grant Passmore and Joost Joosten },
title = {Does SAT Exhibit Fractal Behavior?},
publisher = {ILLC, Amsterdam},
year = 2008,
month = {Oct},
url = {},
note = {Institute for Logic, Language and Computation Research Report, University of Amsterdam},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh