Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings?

Jedrzej Potoniec

Browse the full NeSy paper archive.