Clausecker, Robert
Funktion:
Gast
Raum:
3152
Bereich:
Abteilung:
Arbeitsgruppe:
Mail:
clausecker
zib.de
zib.deTelefon:
+49 30 841 85 - 263
Fax:
+49 30 841 85 - 311
Publikationen
2023
2021
2020
2019
2017
2023 |
|||
| Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis | 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 |
BibTeX
|
| Robert Clausecker, Daniel Lemire | Transcoding unicode characters with AVX-512 instructions | Software: Practice and Experience, 53(12), pp. 2430-2462, 2023 |
BibTeX
DOI |
2021 |
|||
| Robert Clausecker, Florian Schintke | A Measure of Quality for IDA* Heuristics | Proceedings of the Fourteenth International Symposium on Combinatorial Search (SoCS 2021), pp. 55-63, 2021 |
PDF
BibTeX |
| Benjamin Kaiser, Robert Clausecker | CleanMaple | SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
| Benjamin Kaiser, Robert Clausecker | CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin | SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
2020 |
|||
| Robert Clausecker | The Quality of Heuristic Functions for IDA* | ZIB-Report 20-17 |
PDF
BibTeX URN |
2019 |
|||
| Robert Clausecker, Alexander Reinefeld | 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 |
BibTeX
|
2017 |
|||
| Robert Clausecker | 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) |
PDF (ZIB-Report)
BibTeX |