✦ LIBER ✦

[Lecture Notes in Computer Science] FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science Volume 1974 || Is the Standard Proof System for SAT P-Optimal?

✍ Scribed by Kapoor, Sanjiv; Prasad, Sanjiva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] FST

✍ Kapoor, Sanjiv; Prasad, Sanjiva 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 196 KB

Sanjiv Kapoor, Sanjiva Prasad (eds.) Includes Bibliographical References And Index.

[Lecture Notes in Computer Science] FST

✍ Hariharan, Ramesh; Vinay, V.; Mukund, Madhavan 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 149 KB