[Lecture Notes in Computer Science] Experimental Algorithms Volume 7933 || Hypergraph Transversal Computation with Binary Decision Diagrams

[Lecture Notes in Computer Science] Comb

[Lecture Notes in Computer Science] Combinatorial Algorithms Volume 6460 || Blocks of Hypergraphs

✍ Iliopoulos, Costas S.; Smyth, William F. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 249 KB

[Lecture Notes in Computer Science] Expe

[Lecture Notes in Computer Science] Experimental Algorithms Volume 7933 || Cluster-Based Heuristics for the Team Orienteering Problem with Time Windows

✍ Bonifaci, Vincenzo; Demetrescu, Camil; Marchetti-Spaccamela, Alberto 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 184 KB

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Algorithms Volume 725 || Binary snapshots

✍ Schiper, André 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 454 KB

[Lecture Notes in Computer Science] Stat

[Lecture Notes in Computer Science] Static Analysis Volume 1694 || Binary Decision Graphs

✍ Cortesi, Agostino; Filé, Gilberto 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 387 KB

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging fro

[Lecture Notes in Computer Science] Stat

[Lecture Notes in Computer Science] Static Analysis Volume 1694 || Binary Decision Graphs

✍ Cortesi, Agostino; Filé, Gilberto 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 387 KB

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging fro

[Lecture Notes in Computer Science] Expe

[Lecture Notes in Computer Science] Experimental Algorithms Volume 7276 || Engineering Graph Partitioning Algorithms

✍ Klasing, Ralf 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 388 KB

This book constitutes the refereed proceedings of the 11th International Symposium on Experimental Algorithms, SEA 2012, held Bordeaux, France, in June 2012. The 31 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 64 submissions and present curre