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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	SIAM journal on computing Ročník 38; číslo 6; s. 2330 - 2355
Hlavní autori:	Gopalan, Parikshit, Kolaitis, Phokion G., Maneva, Elitza, Papadimitriou, Christos H.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Philadelphia, PA Society for Industrial and Applied Mathematics 01.01.2009
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!