Abstract | ||
---|---|---|
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.54k algorithm to detect whether there is a weak backdoor set of at most k variables into the class of Horn formulas; (ii) a 2.27k 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 6k. We also prove a 2k lower bound for these problems, subject to the Strong Exponential Time Hypothesis. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-39071-5_29 | theory and applications of satisfiability testing |
Keywords | DocType | Volume |
k variable,weak backdoor set,exponential time algorithm,horn formula,weak backdoor,various base class,lower bound,weak backdoor set detection,polynomial factor,krom formula,strong exponential time hypothesis | Conference | abs/1304.5518 |
ISSN | Citations | PageRank |
Proceedings of SAT 2013, LNCS 7962, pp. 394-402, 2013 | 1 | 0.36 |
References | Authors | |
14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Neeldhara Misra | 1 | 341 | 31.42 |
Sebastian Ordyniak | 2 | 176 | 30.27 |
Venkatesh Raman | 3 | 2268 | 153.49 |
Stefan Szeider | 4 | 1341 | 99.97 |