✦ LIBER ✦

Hard examples for the bounded depth Frege proof system

✍ Scribed by Eli Ben-Sasson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The polynomial bounds of proof complexit

✍ S. R. Aleksanyan; A. A. Chubaryan 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 131 KB

Proof of the Ergodic Hypothesis for Typi

✍ Nándor Simányi 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 347 KB

Proof of the Boltzmann-Sinai ergodic hyp

✍ Nándor Simányi 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 614 KB

Micro-to-Nano Indentation and Scratch Ha

✍ Sérgio Graça; Rogério Colaço; Rui Vilar 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 417 KB