LIPIcs, Volume 160, SEA 2020

Simone Faro and Domenico Cantone LIPIcs, Volume 160, SEA 2020, Complete Volume 10.4230/LIPIcs.SEA.2020
Simone Faro and Domenico Cantone Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.SEA.2020.0
Martin Aumüller Algorithm Engineering for High-Dimensional Similarity Search Problems (Invited Talk) 10.4230/LIPIcs.SEA.2020.1
Stefan Edelkamp Algorithm Engineering for Sorting and Searching, and All That (Invited Talk) 10.4230/LIPIcs.SEA.2020.2
Nicola Prezza Indexing Compressed Text: A Tale of Time and Space (Invited Talk) 10.4230/LIPIcs.SEA.2020.3
Marcelo Fonseca Faraj, Alexander van der Grinten, Henning Meyerhenke, Jesper Larsson Träff, and Christian Schulz High-Quality Hierarchical Process Mapping 10.4230/LIPIcs.SEA.2020.4
Sándor P. Fekete, Alexander Hill, Dominik Krupke, Tyler Mayer, Joseph S. B. Mitchell, Ojas Parekh, and Cynthia A. Phillips Probing a Set of Trajectories to Maximize Captured Information 10.4230/LIPIcs.SEA.2020.5
Kotaro Matsuda, Shuhei Denzumi, and Kunihiko Sadakane Storing Set Families More Compactly with Top ZDDs 10.4230/LIPIcs.SEA.2020.6
Dominik Köppl, Simon J. Puglisi, and Rajeev Raman Fast and Simple Compact Hashing via Bucketing 10.4230/LIPIcs.SEA.2020.7
Daniel Berend and Yochai Twitto Effect of Initial Assignment on Local Search Performance for Max Sat 10.4230/LIPIcs.SEA.2020.8
Yu Nakahata, Masaaki Nishino, Jun Kawahara, and Shin-ichi Minato Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams 10.4230/LIPIcs.SEA.2020.9
Lars Gottesbüren, Michael Hamann, Philipp Schoch, Ben Strasser, Dorothea Wagner, and Sven Zühlsdorf Engineering Exact Quasi-Threshold Editing 10.4230/LIPIcs.SEA.2020.10
Lars Gottesbüren, Michael Hamann, Sebastian Schlag, and Dorothea Wagner Advanced Flow-Based Multilevel Hypergraph Partitioning 10.4230/LIPIcs.SEA.2020.11
Zsuzsanna Lipták, Simon J. Puglisi, and Massimiliano Rossi Pattern Discovery in Colored Strings 10.4230/LIPIcs.SEA.2020.12
Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara Fast and Linear-Time String Matching Algorithms Based on the Distances of q-Gram Occurrences 10.4230/LIPIcs.SEA.2020.13
Kathrin Hanauer, Monika Henzinger, and Christian Schulz Faster Fully Dynamic Transitive Closure in Practice 10.4230/LIPIcs.SEA.2020.14
Tobias Maier, Peter Sanders, and Robert Williger Concurrent Expandable AMQs on the Basis of Quotient Filters 10.4230/LIPIcs.SEA.2020.15
Jonas Sauer, Dorothea Wagner, and Tobias Zündorf Faster Multi-Modal Route Planning With Bike Sharing Using ULTRA 10.4230/LIPIcs.SEA.2020.16
Alexander Kleff, Frank Schulz, Jakob Wagenblatt, and Tim Zeitz Efficient Route Planning with Temporary Driving Bans, Road Closures, and Rated Parking Areas 10.4230/LIPIcs.SEA.2020.17
Ali Al Zoobi, David Coudert, and Nicolas Nisse Space and Time Trade-Off for the k Shortest Simple Paths Problem 10.4230/LIPIcs.SEA.2020.18
James Trimble An Algorithm for the Exact Treedepth Problem 10.4230/LIPIcs.SEA.2020.19
Frances Cooper and David Manlove Algorithms for New Types of Fair Stable Matchings 10.4230/LIPIcs.SEA.2020.20
Dmytro Antypov, Argyrios Deligkas, Vladimir Gusev, Matthew J. Rosseinsky, Paul G. Spirakis, and Michail Theofilatos Crystal Structure Prediction via Oblivious Local Search 10.4230/LIPIcs.SEA.2020.21
Kengo Nakamura, Shuhei Denzumi, and Masaaki Nishino Variable Shift SDD: A More Succinct Sentential Decision Diagram 10.4230/LIPIcs.SEA.2020.22
Elias Kuthe and Sven Rahmann Engineering Fused Lasso Solvers on Trees 10.4230/LIPIcs.SEA.2020.23
Roberto Grossi, Andrea Marino, and Shima Moghtasedi Finding Structurally and Temporally Similar Trajectories in Graphs 10.4230/LIPIcs.SEA.2020.24
Lukas Barth and Dorothea Wagner Zipping Segment Trees 10.4230/LIPIcs.SEA.2020.25
Valentin Buchhold, Daniel Delling, Dennis Schieferdecker, and Michael Wegner Fast and Stable Repartitioning of Road Networks 10.4230/LIPIcs.SEA.2020.26
Meng He and Serikzhan Kazi Path Query Data Structures in Practice 10.4230/LIPIcs.SEA.2020.27