A A
de
Deutsch
English
Menü
Startseite Clausecker, Robert

Clausecker, Robert

Claussecker_Robert.png

Kontakt

Room
3152
Phone
+49 30 84185-263
Email
E-Mail
Bereich
Parallel and Distributed Computing
Abteilung
Distributed Algorithms
Arbeitsgruppe
Scalable Algorithms

Publications

2024
Faster Positional-Population Counts for AVX2, AVX-512, and ASIMD CoRR, Vol.abs/2412.16370, pp. 1-23, 2024 Robert Clausecker, Daniel Lemire, Florian Schintke BibTeX
DOI
2023
Prioritised Unit Propagation by Partitioning the Watch Lists Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), pp. 14-34, Vol.3545, 2023 Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis BibTeX
Transcoding unicode characters with AVX-512 instructions Software: Practice and Experience, 53(12), pp. 2430-2462, 2023 Robert Clausecker, Daniel Lemire BibTeX
DOI
2021
A Measure of Quality for IDA* Heuristics Proceedings of the Fourteenth International Symposium on Combinatorial Search (SoCS 2021), pp. 55-63, 2021 Robert Clausecker, Florian Schintke PDF
BibTeX
CleanMaple Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 24, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 25, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
Sliding Tile Puzzles Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 57, 2021 Robert Clausecker, Benjamin Kaiser BibTeX
2020
The Quality of Heuristic Functions for IDA* ZIB-Report 20-17 Robert Clausecker PDF
BibTeX
URN
2019
Zero-Aware Pattern Databases with 1-Bit Compression for Sliding Tile Puzzles Proceedings of the Twelfth International Symposium on Combinatorial Search (SoCS 2019), pp. 35-43, 2019 Robert Clausecker, Alexander Reinefeld BibTeX
2017
Notes on the Construction of Tablebases Bachelor's thesis, Humboldt-Universität zu Berlin, Alexander Reinefeld, Johannes Köbler (Advisors), 2017 (preprint available as ZIB-Report 17-59) Robert Clausecker PDF (ZIB-Report)
BibTeX