Sciweavers

47
Voted
MFCS
1998
Springer

Minimum Propositional Proof Length is NP-Hard to Linearly Approximate

15 years 1 months ago
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate
Michael Alekhnovich, Samuel R. Buss, Shlomo Moran,
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where MFCS
Authors Michael Alekhnovich, Samuel R. Buss, Shlomo Moran, Toniann Pitassi
Comments (0)