Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
N. Misra, S. Ordyniak, V. Raman, St. Szeider:
"Upper and Lower Bounds for Weak Backdoor Set Detection";
Vortrag: International Conference on Theory and Applications of Satisfiability Testing (SAT),
Helsinki, Finland;
08.07.2013
- 12.07.2013; in: "Theory and Applications of Satisfiability Testing - SAT 2013",
M. Järvisalo, A. Van Gelder (Hrg.);
Springer / LNCS,
7962
(2013),
ISBN: 978-3-642-39070-8;
S. 394
- 402.
Kurzfassung englisch:
We obtain upper and lower bounds for running times of exponential time
algorithms for the detection of weak backdoor sets of 3CNF formulas,
considering various base classes. These results include (omitting
polynomial factors), (i) a 4.54^k algorithm to detect whether there is
a weak backdoor set of at most k variables into the class of Horn
formulas; (ii) a 2.27^k algorithm to detect whether there is a weak
backdoor set of at most k variables into the class of Krom
formulas. These bounds improve an earlier known bound of 6^k . We also
prove a 2^k lower bound for these problems, subject to the Strong
Exponential Time Hypothesis.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-39071-5
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.