✦ LIBER ✦

[Lecture Notes in Computer Science] Parameterized and Exact Computation Volume 7535 || Randomized Techniques for Parameterized Algorithms

✍ Scribed by Thilikos, Dimitrios M.; Woeginger, Gerhard J.

Book ID: 118162807
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 49 KB
Category: Article
ISBN: 3642332935
DOI: 10.1007/978-3-642-33293-7_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parameterized and Exact Computation Volume 5917 || Boolean-Width of Graphs

✍ Chen, Jianer; Fomin, Fedor V. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 293 KB

This Book Constitutes The Refereed Best Selected Papers Of The 4th International Workshop On Parameterized And Exact Computation, Iwpec 2009, Held In Copenhagen, Denmark, In September 2009. The 25 Revised Full Papers Presented Together With 2 Invited Talks Were Carefully Reviewed And Selected From 5

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parameterized and Exact Computation Volume 3162 || A Structural View on Parameterizing Problems: Distance from Triviality

✍ Downey, Rod; Fellows, Michael; Dehne, Frank 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 207 KB

This Book Constitutes The Refereed Proceedings Of The First International Workshop On Parameterized And Exact Computation, Iwpec 2004, Held In Bergen, Norway, In September 2004. The 25 Revised Full Papers Presented Together With An Invited Paper Were Carefully Reviewed And Selected From 47 Submissio

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1102 || Automatic verification of parameterized synchronous systems

✍ Alur, Rajeev; Henzinger, Thomas A. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 960 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms

✍ Dawar, Anuj; Veith, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 223 KB

[Lecture Notes in Computer Science] Rese

[Lecture Notes in Computer Science] Research in Computational Molecular Biology Volume 6577 || Rich Parameterization Improves RNA Structure Prediction

✍ Bafna, Vineet; Sahinalp, S. Cenk 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 346 KB

[Lecture Notes in Computer Science] Algo

[Lecture Notes in Computer Science] Algorithms and Computation Volume 6506 || Approximate Periodicity

✍ Cheong, Otfried; Chwa, Kyung-Yong; Park, Kunsoo 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 216 KB

Annotation This Book Constitutes The Refereed Proceedings Of The 21st International Symposium On Algorithms And Computation, Isaac 2010, Held In Jeju, South Korea In December 2010.the 77 Revised Full Papers Presented Were Carefully Reviewed And Selected From 182 Submissions For Inclusion In The Book