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

Download PDF

Jedrzej Potoniec

Published: 01 Jan 2023, Last Modified: 19 Aug 2025NeSy 2023EveryoneRevisionsBibTeXCC BY-SA 4.0