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 MavroskoufisBibTeX
Transcoding unicode characters with AVX-512 instructions
Software: Practice and Experience, 53(12), pp. 2430-2462, 2023
Robert Clausecker, Daniel Lemire
BibTeX DOI
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 SchintkePDF 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 ClauseckerBibTeX
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 ReinefeldBibTeX
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 ClauseckerPDF (ZIB-Report) BibTeX