A satisfiability algorithm and average-case hardness for formulas over the full binary basis

We present a moderately exponential time algorithm for the satisfiability of Boolean formulas over the full binary basis. For formulas of size at most cn , our algorithm runs in time for some constant μ c  > 0. As a byproduct of the running time analysis of our algorithm, we obtain strong average...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computational complexity Jg. 22; H. 2; S. 245 - 274
Hauptverfasser:	Seto, Kazuhisa, Tamaki, Suguru
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Basel SP Birkhäuser Verlag Basel 01.06.2013
Schlagworte:	Algorithm Analysis and Problem Complexity Computational Mathematics and Numerical Analysis Computer Science exact algorithm 68Q25 68Q17 average-case hardness formula parity gate Satisfiability
ISSN:	1016-3328, 1420-8954
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!