Claussecker_Robert.png

Contact

Room
3152
Phone
+49 30 84185-263
Email

Publications

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
Clausecker, Robert
Transcoding unicode characters with AVX-512 instructions Software: Practice and Experience, 53(12), pp. 2430-2462, 2023 Robert Clausecker, Daniel Lemire BibTeX
DOI
Clausecker, Robert
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
Clausecker, Robert
CleanMaple Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 24, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
Clausecker, Robert
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
Clausecker, Robert
Sliding Tile Puzzles Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 57, 2021 Robert Clausecker, Benjamin Kaiser BibTeX
Clausecker, Robert
2020
The Quality of Heuristic Functions for IDA* ZIB-Report 20-17 Robert Clausecker PDF
BibTeX
URN
Clausecker, Robert
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
Clausecker, Robert
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
Clausecker, Robert