Sciweavers

Minimum Propositional Proof Length is NP-Hard to Linearly Approximate
Recent Google, Yahoo, MSN search queries leading to this post
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate
Data is not available yet.