Engineering Scalable Algorithms for the Basic Toolbox ScAlBox

Informations projet

ScAlBox

N° de convention de subvention: 882500

DOI

10.3030/882500

Projet clôturé

Date de signature de la CE 3 Juillet 2020

Date de début 1 Septembre 2020

Date de fin 31 Août 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 498 785,00

Contribution de l’UE

€ 2 498 785,00

Coordonné par

KARLSRUHER INSTITUT FUER TECHNOLOGIE
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (6)

Weighted Embeddings for Low-Dimensional Graph Representation

Auteurs: Thomas Bläsius, Jean-Pierre Von der Heydt, Maximilian Katzmann, Nikolai Maas
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, Page(s) 15587-15595, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i15.33711

Lilotane : A Lifted SAT-based Approach to Hierarchical Planning

Auteurs: Schreiber, Dominik
Publié dans: Journal of Artificial Intelligence Research, Numéro 70, 2021, Page(s) 1117–1181, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12520

The 2023 International Planning Competition

Auteurs: Ayal Taitler, Ron Alford, Joan Espasa, Gregor Behnke, Daniel Fišer, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia‐Aguas, Jendrik Seipp
Publié dans: AI Magazine, Numéro 45, 2024, Page(s) 280-296, ISSN 0738-4602
Éditeur: American Association for Artificial Intelligence (AAAI) Press
DOI: 10.1002/aaai.12169

MallobSat: Scalable SAT Solving by Clause Sharing

Auteurs: Dominik Schreiber, Peter Sanders
Publié dans: Journal of Artificial Intelligence Research, Numéro 80, 2024, Page(s) 1437-1495, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.15827

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling

Auteurs: Sanders, Peter; Schreiber, Dominik
Publié dans: Journal of Open Source Software, Numéro 7(76), 2022, Page(s) 4591, ISSN 2475-9066
Éditeur: JOSS
DOI: 10.21105/joss.04591

More Recent Advances in (Hyper)Graph Partitioning

Auteurs: Çatalyürek, Ümit V.; Devine, Karen D.; Fonseca Faraj, Marcelo; Gottesbüren, Lars; Heuer, Tobias; Meyerhenke, Henning; Sanders, Peter; Schlag, Sebastian; Schulz, Christian; Seemaier, Daniel; Wagner, Dorothea
Publié dans: ACM Computing Surveys, Numéro Volume 55, Numéro 12, 2022, Page(s) 1--38, ISSN 0360-0300
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3571808

Conference proceedings (31)

High Performance Construction of RecSplit Based Minimal Perfect Hash Functions

Auteurs: Bez, Dominik; Kurpicz, Florian; Lehmann, Hans-Peter; Sanders, Peter
Publié dans: 31st Annual European Symposium on Algorithms (ESA 2023), Numéro 274, 2023, Page(s) 19:1-19:16, ISBN 978-3-95977-295-2
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.esa.2023.19

Brief Announcement: (Near) Zero-Overhead C++ Bindings for MPI

Auteurs: Demian Hespe, Lukas Hübner, Florian Kurpicz, Peter Sanders, Matthias Schimek, Daniel Seemaier, Tim Niklas Uhl
Publié dans: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024, Page(s) 289-291
Éditeur: ACM
DOI: 10.1145/3626183.3660260

Linear-Time Multilevel Graph Partitioning

Auteurs: Lars Gottesbüren, Nikolai Maas, Dominik Rosch, Peter Sanders, Daniel Seemaier
Publié dans: 2025
Éditeur: LIPIcs
DOI: 10.4230/lipics.esa.2025.32

Faster Block Tree Construction

Auteurs: Köppl, Dominik; Kurpicz, Florian; Meyer, Daniel
Publié dans: 31st Annual European Symposium on Algorithms (ESA 2023), Numéro 274, 2023, Page(s) 74:1-74:20, ISBN 978-3-95977-295-2
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2023.74

A Simple yet Exact Analysis of the MultiQueue

Auteurs: Stefan Walzer, Marvin Williams
Publié dans: 2025
Éditeur: LIPIcs
DOI: 10.4230/lipics.esa.2025.85

A Sweep-Plane Algorithm for Calculating the Isolation of Mountains

Auteurs: Funke, Daniel; Hüning, Nicolai; Sanders, Peter
Publié dans: 31st Annual European Symposium on Algorithms (ESA 2023), Numéro 274, 2023, Page(s) 51:1-51:17, ISBN 978-3-95977-295-2
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2023.51

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers

Auteurs: Michaelson, Dawn; Schreiber, Dominik; Heule, Marijn M.J.; Kiesl-Reiter, Benjamin; Whalen, Mike W.
Publié dans: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Numéro 13993, 2023, Page(s) 348-366, ISBN 978-3-031-30822-2
Éditeur: Springer
DOI: 10.1007/978-3-031-30823-9_18

Distributed Deep Multilevel Graph Partitioning

Auteurs: Sanders, Peter; Seemaier, Daniel
Publié dans: Euro-Par 2023: Parallel Processing, Numéro 29, 2023, Page(s) 443-457
Éditeur: Springer
DOI: 10.1007/978-3-031-39698-4_30

Tera-Scale Multilevel Graph Partitioning

Auteurs: Daniel Salwasser, Daniel Seemaier, Lars Gottesbüren, Peter Sanders
Publié dans: 2025 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2025, Page(s) 285-296
Éditeur: IEEE
DOI: 10.1109/ipdps64566.2025.00033

Engineering a Distributed-Memory Triangle Counting Algorithm

Auteurs: Sanders, Peter; Uhl, Tim Niklas
Publié dans: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Numéro 5, 2023, Page(s) 702-712, ISBN 979-8-3503-3767-9
Éditeur: IEEE
DOI: 10.1109/ipdps54959.2023.00076

Scalable SAT Solving on Demand (Abstract)

Auteurs: Dominik Schreiber, Peter Sanders
Publié dans: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024, Page(s) 11-12
Éditeur: ACM
DOI: 10.1145/3670684.3673414

Engineering MultiQueues: Fast relaxed concurrent priority queues

Auteurs: Williams, Marvin; Sanders, Peter; Dementiev, Roman
Publié dans: 29th Annual European Symposium on Algorithms (ESA 2021), Numéro 81, 2021, Page(s) 1-17, ISBN 978-3-95977-204-4
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI: 10.4230/lipics.esa.2021.81

Scalable SAT Solving in the Cloud

Auteurs: Schreiber, Dominik; Sanders, Peter
Publié dans: Theory and Applications of Satisfiability Testing – SAT 2021, Numéro 24, 2021, Page(s) 518-534, ISBN 978-3-030-80223-3
Éditeur: Springer
DOI: 10.1007/978-3-030-80223-3_35

Trusted Scalable SAT Solving with On-The-Fly LRAT Checking

Auteurs: Dominik Schreiber
Publié dans: 2024
Éditeur: Schloss Dagstuhl – Leibniz Zentrum für Informatik
DOI: 10.4230/lipics.sat.2024.25

PaCHash: Packed and Compressed Hash Tables

Auteurs: Kurpicz, Florian; Lehmann, Hans-Peter; Sanders, Peter
Publié dans: 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), 2023, Page(s) 162--175, ISBN 978-1-61197-756-1
Éditeur: SIAM: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977561.ch14

Deep multilevel graph partitioning

Auteurs: Gottesbüren, Lars; Heuer, Tobias; Sanders, Peter; Schulz, Christian; Seemaier, Daniel
Publié dans: 29th Annual European Symposium on Algorithms (ESA 2021), Numéro 48, 2021, Page(s) 1-17, ISBN 978-3-95977-204-4
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI: 10.5445/ir/1000138388

Mallob{32,64,1600} in the SAT Competition 2023

Auteurs: Schreiber, Dominik
Publié dans: Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions, 2023, Page(s) 46-47
Éditeur: University of Helsinki

Bit-Parallel (Compressed) Wavelet Tree

Auteurs: Dinklage, Patrick; Fischer, Johannes; Kurpicz, Florian; Tarnowski, Jan-Philipp
Publié dans: 2023 Data Compression Conference (DCC), 2023, Page(s) 81-90, ISBN 979-8-3503-4795-1
Éditeur: IEEE
DOI: 10.1109/dcc55655.2023.00016

Exploring Parallel MPI Fault Tolerance Mechanisms for Phylogenetic Inference with RAxML-NG.

Auteurs: Lukas Hübner; Alexey M. Kozlov; Demian Hespe; Peter Sanders; Alexandros Stamatakis; Alexandros Stamatakis
Publié dans: ISSN: 1367-4803, 1460-2059, Numéro 1, 2021
Éditeur: Oxford University Press
DOI: 10.1093/bioinformatics/btab399

Fast and Lightweight Distributed Suffix Array Construction

Auteurs: Manuel Haag, Florian Kurpicz, Peter Sanders, Matthias Schimek
Publié dans: 2025
Éditeur: LIPIcs
DOI: 10.4230/lipics.esa.2025.47

Scalable Distributed String Sorting

Auteurs: Florian Kurpicz, Pascal Mehnert, Peter Sanders, Matthias Schimek
Publié dans: 2024
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2024.83

Brief Announcement: Scalable Distributed String Sorting

Auteurs: Florian Kurpicz, Pascal Mehnert, Peter Sanders, Matthias Schimek
Publié dans: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024, Page(s) 375-377
Éditeur: ACM
DOI: 10.1145/3626183.3660256

Brief Announcement: New Pruning Rules for Optimal Task Scheduling on Identical Parallel Machines

Auteurs: Matthew Akram, Dominik Schreiber
Publié dans: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024, Page(s) 137-139
Éditeur: ACM
DOI: 10.1145/3626183.3660268

Engineering Compact Data Structures for Rank and Select Queries on Bit Vectors

Auteurs: Kurpicz, Florian
Publié dans: Proceedings of the Twenty-Ninth International Symposium on String Processing and Information Retrieval (SPIRE), 2022, Page(s) 257–272, ISBN 978-3-031-20642-9
Éditeur: Springer
DOI: 10.1007/978-3-031-20643-6_19

Engineering Massively Parallel MST Algorithms

Auteurs: Sanders, Peter; Schimek, Matthias
Publié dans: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Numéro 5, 2023, Page(s) 691-701, ISBN 979-8-3503-3767-9
Éditeur: IEEE
DOI: 10.1109/ipdps54959.2023.00075

SicHash - Small Irregular Cuckoo Tables for Perfect Hashing

Auteurs: Lehmann, Hans-Peter; Sanders, Peter; Walzer, Stefan
Publié dans: 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), 2023, Page(s) 176-189, ISBN 978-1-61197-756-1
Éditeur: SIAM: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977561.ch15

KaMPIng: Flexible and (Near) Zero-Overhead C++ Bindings for MPI

Auteurs: Tim Niklas Uhl, Matthias Schimek, Lukas Hübner, Demian Hespe, Florian Kurpicz, Daniel Seemaier, Christoph Stelz, Peter Sanders
Publié dans: SC24: International Conference for High Performance Computing, Networking, Storage and Analysis, 2024, Page(s) 1-21
Éditeur: IEEE
DOI: 10.1109/sc41406.2024.00050

Decentralized Online Scheduling of Malleable NP-hard Jobs

Auteurs: Sanders, Peter; Schreiber, Dominik
Publié dans: Euro-Par 2022: Parallel Processing, Numéro 13440, 2022, Page(s) 119-135, ISBN 978-3-031-12596-6
Éditeur: Springer
DOI: 10.1007/978-3-031-12597-3_8

Buffered Streaming Edge Partitioning

Auteurs: Adil Chhabra, Marcelo Fonseca Faraj, Christian Schulz, Daniel Seemaier
Publié dans: 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.5

Brief Announcement: Distributed Unconstrained Local Search for Multilevel Graph Partitioning

Auteurs: Peter Sanders, Daniel Seemaier
Publié dans: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024, Page(s) 443-445
Éditeur: ACM
DOI: 10.1145/3626183.3660257

ReStore: In-Memory REplicated STORagE for Rapid Recovery in Fault-Tolerant Algorithms

Auteurs: Hübner, Lukas; Hespe, Demian; Sanders, Peter; Stamatakis, Alexandros
Publié dans: 2022 IEEE/ACM 12th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS), 2022, Page(s) 24-35, ISBN 978-1-6654-8848-8
Éditeur: IEEE
DOI: 10.1109/ftxs56515.2022.00008

Book chapters (4)

Concepts for Designing Modern C++ Interfaces for MPI

Auteurs: C. Nicole Avans, Alfredo A. Correa, Sayan Ghosh, Matthias Schimek, Joseph Schuchart, Anthony Skjellum, Evan D. Suggs, Tim Niklas Uhl
Publié dans: Lecture Notes in Computer Science, Recent Advances in the Message Passing Interface, 2025, Page(s) 165-183
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07194-1_10

Parallel Unconstrained Local Search for Partitioning Irregular Graphs

Auteurs: Nikolai Maas, Lars Gottesbüren, Daniel Seemaier
Publié dans: 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), 2024, Page(s) 32-45
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977929.3

Deterministic Parallel High-Quality Hypergraph Partitioning

Auteurs: Robert Krause, Lars Gottesbüren, Nikolai Maas
Publié dans: 2025 Proceedings of the Conference on Applied and Computational Discrete Algorithms (ACDA), 2025, Page(s) 222-236
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978759.17

Engineering Optimal Parallel Task Scheduling

Auteurs: Matthew Akram, Nikolai Maas, Peter Sanders, Dominik Schreiber
Publié dans: 2025 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), 2025, Page(s) 168-180
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978339.14

Other (1)

A Simple yet Exact Analysis of the MultiQueue

Auteurs: Stefan Walzer, Marvin Williams
Publié dans: 2024
Éditeur: ArXiv
DOI: 10.48550/arxiv.2410.08714