Search Sciweavers | Sciweavers

337 search results - page 3 / 68

» On Weak Markov's Principle

click to vote

LOGCOM
2007

74views more LOGCOM 2007»

On Independence of Variants of the Weak Pigeonhole Principle

13 years 6 months ago

Download www.math.cas.cz

The principle sPHPa b (PV (α)) states that no oracle circuit can compute a surjection of a onto b. We show that sPHP (a) P (a)(PV (α)) is independent of PV1(α)+sPHP π(a) Π(a)...

Emil Jerábek

claim paper

Read More »

click to vote

COCO
2001
Springer

94views Algorithms» more COCO 2001»

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

13 years 10 months ago

Download www.eecs.qmul.ac.uk

Stefan S. Dantchev, Søren Riis

claim paper

Read More »

click to vote

CSL
1997
Springer

88views Automated Reasoning» more CSL 1997»

Resolution and the Weak Pigeonhole Principle

13 years 10 months ago

Download euclid.ucsd.edu

Samuel R. Buss, Toniann Pitassi

claim paper

Read More »

click to vote

JSYML
2008

53views more JSYML 2008»

The polynomial and linear hierarchies in models where the weak pigeonhole principle fails

13 years 6 months ago

Download www.cs.toronto.edu

Leszek Aleksander Kolodziejczyk, Neil Thapen

claim paper

Read More »

click to vote

IANDC
2002

61views more IANDC 2002»

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers