✦ LIBER ✦

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || The Complexity of Satisfiability Problems over Finite Lattices

✍ Scribed by Diekert, Volker; Habib, Michel

Book ID: 118062935
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 212 KB
Category: Article
ISBN: 3540247491
DOI: 10.1007/978-3-540-24749-4_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science - ICCS 2004 Volume 3037 || Multiresolutional Techniques in Finite Element Method Solution of Eigenvalue Problem

✍ Bubak, Marian; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jack 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 187 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2006 Volume 4162 || Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture

✍ Královič, Rastislav; Urzyczyn, Paweł 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 464 KB

This Book Constitutes The Refereed Proceedings Of The 31st International Symposium On Mathematical Foundations Of Computer Science, Mfcs 2006. The Book Presents 62 Revised Full Papers Together With The Full Papers Or Abstracts Of 7 Invited Talks. All Current Aspects In Theoretical Computer Science A

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parallel Computing Technologies Volume 6873 || A Parallel Implementation of GaussSieve for the Shortest Vector Problem in Lattices

✍ Malyshkin, Victor 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 180 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Intelligence and Security Volume 4456 || About the Time Complexity of Evolutionary Algorithms Based on Finite Search Space

✍ Wang, Yuping; Cheung, Yiu-ming; Liu, Hailin 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 354 KB

The Refereed Post-proceedings Of The International Conference On Computational Intelligence And Security Are Presented In This Volume. The 116 Papers Were Submitted To Two Rounds Of Careful Review. Papers Cover Bio-inspired Computing, Evolutionary Computation, Learning Systems And Multi-agents, Cryp

[Lecture Notes in Computer Science] Impl

[Lecture Notes in Computer Science] Implementation and Applications of Automata Volume 5148 || Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity

✍ Ibarra, Oscar H.; Ravikumar, Bala 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 507 KB

The 13th International Conference On Implementation And Application Of - Tomata (ciaa 2008) Was Held At San Francisco State University, San Francisco, July 21–24, 2008. This Volume Of Lecture Notes In Computer Science Contains The Papers That Were Presented At Ciaa 2008, As Well As The Abstracts Of

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || The complexity of the inequivalence problem for regular expressions with intersection

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 681 KB