𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 7913 || Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP

✍ Scribed by Bulatov, Andrei A.; Shur, Arseny M.


Book ID
121366362
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
215 KB
Category
Article
ISBN
3642385362

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Comp
✍ Grigoriev, Dima; Harrison, John; Hirsch, Edward A. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 403 KB

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track d