✦ LIBER ✦

A feasibly constructive lower bound for resolution proofs

✍ Scribed by Stephen Cook; Toniann Pitassi

Book ID: 107765914
Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 436 KB
Volume: 34
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(90)90141-j

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Resolution of the uniform lower bound pr

Resolution of the uniform lower bound problem in constructive analysis

✍ Erik Palmgren 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

## Abstract In a previous paper we constructed a full and faithful functor ℳ︁ from the category of locally compact metric spaces to the category of formal topologies (representations of locales). Here we show that for a real‐valued continuous function __f__, ℳ︁(__f__) factors through the localic po

A lower bound on the size of resolution

A lower bound on the size of resolution proofs of the Ramsey theorem

✍ Pavel Pudlák 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 100 KB

Artificial life: a constructive lower bo

Artificial life: a constructive lower bound for artificial intelligence

✍ Belew, R.K. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 831 KB

Lifting lower bounds for tree-like proof

Lifting lower bounds for tree-like proofs

✍ Maciel, Alexis; Nguyen, Phuong; Pitassi, Toniann 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 584 KB

Bounded Variation Implies Regulated: A C

Bounded Variation Implies Regulated: A Constructive Proof

✍ Douglas Bridges and Ayan Mahalanobis 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 180 KB

Using dual feasible functions to constru

Using dual feasible functions to construct fast lower bounds for routing and location problems

✍ Porumbel, Daniel; Goncalves, Gilles 📂 Article 📅 2015 🏛 Elsevier Science 🌐 English ⚖ 491 KB