𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - On the complexity of SAT

✍ Scribed by Lipton, R.J.; Viglas, A.

Book ID: 126703366
Publisher: IEEE Comput. Soc
Year: 1999
Weight: 160 KB
Category: Article
ISBN-13: 9780769504094
DOI: 10.1109/SFFCS.1999.814618

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - Finely-competitive paging

✍ Blum, A.; Burch, C.; Kalai, A. 📂 Article 📅 1999 🏛 IEEE Comput. Soc 🌐 English ⚖ 115 KB

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - Cache-oblivious algorithms

✍ Frigo, M.; Leiserson, C.E.; Prokop, H.; Ramachandran, S. 📂 Article 📅 1999 🏛 IEEE Comput. Soc 🌐 English ⚖ 189 KB

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - Online scheduling to minimize average stretch

✍ Muthukrishnan, S.; Rajaraman, R.; Shaheen, A.; Gehrke, J.E. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 169 KB

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - A probabilistic algorithm for k-SAT and constraint satisfaction problems

✍ Schoning, T. 📂 Article 📅 1999 🏛 IEEE Comput. Soc 🌐 English ⚖ 80 KB

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - Non-interactive cryptocomputing for NC/sup 1/

✍ Sander, T.; Young, A.; Moti Yung, 📂 Article 📅 1999 🏛 IEEE Comput. Soc 🌐 English ⚖ 150 KB

[IEEE Comput. Soc 40th Annual Symposium

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - Derandomizing Arthur-Merlin games using hitting sets

✍ Miltersen, P.B.; Vinodchandran, N.V. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 146 KB