✦ LIBER ✦

An exponential lower bound for the pure literal rule

✍ Scribed by Khaled M. Bugrara; Paul W. Purdom

Book ID: 113163167
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 276 KB
Volume: 27
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(88)90028-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An exponential lower bound for real-time

An exponential lower bound for real-time branching programs

✍ Stanislav ák 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 415 KB

An Exponential Lower Bound for the Size

An Exponential Lower Bound for the Size of Monotone Real Circuits

✍ Armin Haken; Stephen A. Cook 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 118 KB

We prove a lower bound, exponential in the eighth root of the input length, on the size of monotone arithmetic circuits that solve an NP problem related to clique detection. The result is more general than the famous lower bound of Razborov and Andreev, because the gates of the circuit are allowed t

An exponential lower bound on the size o

An exponential lower bound on the size of algebraic decision trees for Max

✍ D. Grigoriev; M. Karpinski; A.C. Yao 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 335 KB

Exponential lower bounds to solutions of

Exponential lower bounds to solutions of the Schrödinger equation: Lower bounds for the spherical average

✍ Richard Froese; Ira Herbst 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 557 KB

Exponential lower bounds for the tree-li

Exponential lower bounds for the tree-like Hajós calculus

✍ Kazuo Iwama; Toniann Pitassi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 572 KB

Exponential Lower Bound for the Translat

Exponential Lower Bound for the Translative Kissing Numbers ofd-Dimensional Convex Bodies

✍ I. Talata 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 107 KB