Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

被引：0

作者：

机构：

[1] Alekhnovich, Michael

[2] Hirsch, Edward A.

[3] Itsykson, Dmitry

来源：

Alekhnovich, M. (misha@ias.edu) | 1600年 / Kluwer Academic Publishers卷 / 35期

关键词：

Algorithms;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：1 / 3

共 50 条

[21] EXPONENTIAL LOWER BOUNDS FOR REAL-TIME BRANCHING PROGRAMS
KRIEGEL, K
WAACK, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 263 - 267
[22] Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms
Larsen, Kasper Green
Nelson, Jelani
Nguyen, Huy L.
STOC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2015, : 803 - 812
[23] On lower bounds of exponential frames
Lindner, AM
JOURNAL OF FOURIER ANALYSIS AND APPLICATIONS, 1999, 5 (2-3) : 185 - 192
[24] Lower bounds of exponential sums
Michel, P
DUKE MATHEMATICAL JOURNAL, 1998, 95 (02) : 227 - 240
[25] Exponential Lower Bounds via Exponential Sums
Chennai Mathematical Institute, India
不详
不详
Leibniz Int. Proc. Informatics, LIPIcs,
[26] On lower bounds of exponential frames
Alexander M. Lindner
Journal of Fourier Analysis and Applications, 1999, 5 : 185 - 192
[27] Exponential lower bounds on the space complexity of OBDD-based graph algorithms
Sawitzki, D
LATIN 2006: THEORETICAL INFORMATICS, 2006, 3887 : 781 - 792
[28] Algorithms and Lower Bounds for De Morgan Formulas of Low-Communication Leaf Gates
Kabanets, Valentine
Koroth, Sajin
Lu, Zhenjian
Myrisiotis, Dimitrios
Oliveira, Igor C.
ACM TRANSACTIONS ON COMPUTATION THEORY, 2021, 13 (04)
[29] Range partitioning within sublinear time: Algorithms and lower bounds
Ning, Baoling
Li, Jianzhong
Jiang, Shouxu
THEORETICAL COMPUTER SCIENCE, 2021, 857 : 177 - 191
[30] Error bounds on exponential product formulas for Schrodinger operators
Doumeki, A
Ichinose, T
Tamura, H
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1998, 50 (02) : 359 - 377

← 1 2 3 4 5 →