Skip to main content

Engineering Scalable Algorithms for the Basic Toolbox ScAlBox

Searching for OpenAIRE data...

Publications

Lilotane : A Lifted SAT-based Approach to Hierarchical Planning

Author(s): Schreiber, Dominik
Published in: Journal of Artificial Intelligence Research, 70, 2021, Page(s) 1117–1181, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12520

Engineering MultiQueues: Fast relaxed concurrent priority queues

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

Scalable SAT Solving in the Cloud

Author(s): Schreiber, Dominik; Sanders, Peter
Published in: Theory and Applications of Satisfiability Testing – SAT 2021, 24, 2021, Page(s) 518-534, ISBN 978-3-030-80223-3
Publisher: Springer
DOI: 10.1007/978-3-030-80223-3_35

Deep multilevel graph partitioning

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