The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics, and threshold phenomena. Recent work on heuristics and the satisfiability threshold has centered around the structure and connectivity of the solution space. Motivated by this work, we...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIAM journal on computing Jg. 38; H. 6; S. 2330 - 2355
Hauptverfasser:	Gopalan, Parikshit, Kolaitis, Phokion G., Maneva, Elitza, Papadimitriou, Christos H.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Philadelphia, PA Society for Industrial and Applied Mathematics 01.01.2009
Schlagworte:	Algorithmics. Computability. Computer arithmetics Algorithms Applied sciences Boolean Cloning Computer engineering Computer science Computer science; control theory; systems Connectivity Exact sciences and technology Graphs Information retrieval. Graph Mathematical analysis Mathematics Miscellaneous Ordinary differential equations Sciences and techniques of general use Theoretical computing Polynomial 68Q15 68Q25 Heuristic algorithm Heuristics 68Q17 PSPACE-completeness 05C40 Benchmarks PSPACE Boolean satisfiability Polynomial time dichotomy theorems Dichotomy Graph connectivity Algorithm complexity Hypercube Subgraph 03D15 Satisfiability problem Threshold computational complexity
ISSN:	0097-5397, 1095-7111
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!