𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Computational Complexity. Fifteenth Annual IEEE Conference - Florence, Italy (4-7 July 2000)] Proceedings 15th Annual IEEE Conference on Computational Complexity - An application of matroid theory to the SAT problem

✍ Scribed by Kullmann, O.

Book ID: 121220271
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 309 KB
Edition: 2000
Category: Article
ISBN-13: 9780769506746
DOI: 10.1109/CCC.2000.856741

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Computational Complexi

[IEEE Comput. Soc Computational Complexity. Fifteenth Annual IEEE Conference - Florence, Italy (4-7 July 2000)] Proceedings 15th Annual IEEE Conference on Computational Complexity - Dimension in complexity classes

✍ Lutz, J.H. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 385 KB

[IEEE Comput. Soc Computational Complexi

[IEEE Comput. Soc Computational Complexity. Fifteenth Annual IEEE Conference - Florence, Italy (4-7 July 2000)] Proceedings 15th Annual IEEE Conference on Computational Complexity - A dual version of Reimer's inequality and a proof of Rudich's conjecture

✍ Kahn, J.; Saks, M.; Smyth, C. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 191 KB

[IEEE Comput. Soc 18th IEEE Annual Confe

[IEEE Comput. Soc 18th IEEE Annual Conference on Computational Complexity - Aarhus, Denmark (7-10 July 2003)] 18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings. - Universal languages and the power of diagonalization

✍ Nash, A.; Impagliazzo, R.; Remmel, J. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 567 KB

[IEEE Comput. Soc Thirteenth Annual IEEE

[IEEE Comput. Soc Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) - Buffalo, NY, USA (15-18 June 1998)] Proceedings. Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat. No.98CB36247) - The satisfiability problem for probabilistic ordered branching programs

✍ Agrawal, M.; Thierauf, T. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 186 KB

[IEEE Comput. Soc Proceedings. Fourteent

[IEEE Comput. Soc Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity. (Formerly: Structure in Complexity Theory Conference) - Atlanta, GA, USA (4-6 May 1999)] Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317) - Upper semilattice of binary strings with the relation "x is simple conditional to y"

✍ Muchnik, A.; Romashchenko, A.; Shen, A.; Vereshchagin, N. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 200 KB

[IEEE 20th Annual IEEE Conference on Com

[IEEE 20th Annual IEEE Conference on Computational Complexity (CCC'05) - San Jose, CA, USA (11-15 June 2005)] 20th Annual IEEE Conference on Computational Complexity (CCC'05) - On the Fourier Spectrum of Symmetric Boolean Functions with Applications to Learning Symmetric Juntas

✍ Lipton, R.J.; Markakis, E.; Mehta, A.; Vishnoi, N.K. 📂 Article 📅 2005 🏛 IEEE ⚖ 153 KB